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 |
1-Jun-2021 | Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic | Espírito Santo, José; Matthes, Ralph; Pinto, Luís F. | Artigo em ata de conferência | Acesso aberto |
1999 | Constructor subtyping | Barthe, Gilles Jacques Denis; Frade, M. J. | Artigo em ata de conferência | Acesso aberto |
Jun-1999 | Constructor subtyping: extended version | Frade, M. J.; Barthe, Gilles Jacques Denis | Relatório | 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 |
Ago-2002 | Encoding linear logic with interaction combinators | Mackie, Ian; Pinto, Jorge Sousa | Artigo | Acesso aberto |
2022 | A faithful and quantitative notion of distant reduction for generalized applications | Espírito Santo, José; Kesner, Delia; Peyrot, Loïc | Artigo em ata de conferência | Acesso aberto |
1998 | Guiões das aulas práticas laboratoriais sobre o sistema COQ | Frade, M. J.; Pinto, Jorge Sousa | Outro | Acesso aberto |
1998 | Introdução ao sistema COQ de assistência à prova | Frade, M. J.; Pinto, Jorge Sousa | Outro | Acesso aberto |
2001 | Parallel implementation models for the lambda-calculus using the geometry of interaction | Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |
2006 | Structural proof theory as rewriting | Espírito Santo, José; Frade, M. J.; Pinto, Luís F. | Artigo em ata de conferência | Acesso aberto |
2012 | Turing e a normalização | Espírito Santo, José | Artigo | Acesso aberto |
2004 | Type-based termination of recursive definitions | Barthe, Gilles Jacques Denis; Frade, M. J.; Giménez, E., et al. | 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 |