Data | Título | Autor(es) | Tipo | Acesso |
2012 | Characterising strongly normalising intuitionistic terms | Espírito Santo, José; Ivetic, J,; Likavec, Silvia | Artigo | Acesso aberto |
2017 | Characterization of strong normalizability for a sequent lambda calculus with co-control | Espírito Santo, José; Ghilezan, Silvia | Artigo em ata de conferência | Acesso aberto |
2004 | Confluence and strong normalisation of the generalised multiary lambda-calculus | Espírito Santo, José; Pinto, Luís F. | Capítulo de livro | Acesso aberto |
1994 | Cut formulae and logic programming | Pinto, Luís F. | Artigo em ata de conferência | Acesso aberto |
2018 | Permutability in proof terms for intuitionistic sequent calculus with cuts | Espírito Santo, José; Frade, M. J.; Pinto, Luís F. | Artigo em ata de conferência | Acesso aberto |
1999 | Permutability of proofs in intuitionistic sequent calculi | Pinto, Luís F.; Dyckhoff, Roy | Artigo | Acesso aberto |
2003 | Permutative conversions in intuitionistic multiary sequent calculi with cuts | Espírito Santo, José; Pinto, Luís F. | Capítulo de livro | Acesso aberto |
1999 | Proof search in constructive logics | Pinto, Luís F.; Dyckhoff, Roy | Artigo em ata de conferência | Acesso aberto |
2011 | Relating sequent calculi for bi-intuitionistic propositional logic | Pinto, Luís F.; Uustalu, Tarmo | Artigo em ata de conferência | Acesso aberto |
2000 | Sequent calculi for the normal terms of the $\lambda\Pi$- and $\lambda\Pi\Sigma$-calculi | Pinto, Luís F.; Dyckhoff, Roy | Artigo | Acesso aberto |
25-Jan-2022 | Sistemas dedutivos para Lógica Quântica Minimal | Sousa, Ana Catarina Lopes Carvalho | Dissertação de mestrado | Acesso aberto |
2023 | The logical essence of compiling with continuations | Espírito Santo, José; Mendes, Filipa | Artigo em ata de conferência | Acesso aberto |
2013 | Towards a canonical classical natural deduction system | Espírito Santo, José | Artigo | Acesso aberto |
11-Jan-2023 | Variações sobre o cálculo-lambda call-by-value | Mendes, Filipa Simões | Dissertação de mestrado | Acesso aberto |
2023 | Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications | Espírito Santo, José; Frade, M. J.; Pinto, Luís F. | Artigo | Acesso aberto |