| 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 |
| 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 |
| 2014 | Confluence for classical logic through the distinction between values and computations | Espírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al. | 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 |
| 2019 | Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search | Espírito Santo, José; Matthes, Ralph; Pinto, Luís F. | Artigo | Acesso aberto |
| 2013 | Monadic translation of classical sequent calculus | Espírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al. | Artigo | Acesso aberto |
