Data | Título | Autor(es) | Tipo | Acesso |
28-Ago-2013 | A coinductive approach to proof search | Espírito Santo, José; Matthes, Ralph; Pinto, Luís F. | Artigo em ata de conferência | Acesso aberto |
Dez-2021 | A coinductive approach to proof search through typed lambda-calculi | Espírito Santo, José; Matthes, Ralph; Pinto, Luís F. | Artigo | Acesso aberto |
1994 | Cut formulae and logic programming | Pinto, Luís F. | Artigo em ata de conferência | Acesso aberto |
Out-2019 | Decidability of several concepts of finiteness for simple types | Espírito Santo, José; Matthes, Ralph; Pinto, Luís F. | Artigo | Acesso aberto |
2009 | Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents | 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 |