Edit Profile (opens in new tab) Espírito Santo, José Carlos Co-Author Distance Author ID: espirito-santo.jose-carlos Published as: Espírito Santo, José; Santo, José Espírito; Espírito Santo, J.; Espírito Santo, José Carlos more...less Homepage: https://w3.math.uminho.pt/~jes/ Documents Indexed: 32 Publications since 2000 1 Contribution as Editor Co-Authors: 11 Co-Authors with 20 Joint Publications 160 Co-Co-Authors all top 5 Co-Authors 13 single-authored 15 Pinto, Luís F. 9 Matthes, Ralph 2 Ferreira, Gilda 2 Frade, Maria João 2 Ivetić, Jelena 2 Nakazawa, Koji 1 Dybjer, Peter 1 Ghilezan, Silvia 1 Likavec, Silvia 1 Pinto, Linu 1 Uustalu, Tarmo all top 5 Serials 2 Annals of Pure and Applied Logic 2 MSCS. Mathematical Structures in Computer Science 2 Fundamenta Informaticae 2 Journal of Logical and Algebraic Methods in Programming 1 Studia Logica 1 Theoretical Computer Science 1 Boletim da Sociedade Portuguesa de Matemática 1 Theory of Computing Systems 1 Logic Journal of the IGPL 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science 1 LIPIcs – Leibniz International Proceedings in Informatics Fields 32 Mathematical logic and foundations (03-XX) 15 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 23 Publications have been cited 48 times in 21 Documents Cited by ▼ Year ▼ Revisiting the correspondence between cut elimination and normalisation. Zbl 0973.03073Espírito Santo, José 7 2000 Delayed substitutions. Zbl 1203.68031Espírito Santo, José 6 2007 Completing Herbelin’s programme. Zbl 1215.03023Espírito Santo, José 5 2007 Characterising strongly normalising intuitionistic terms. Zbl 1277.03003Espírito Santo, José; Ivetić, Jelena; Likavec, Silvia 3 2012 Permutative conversions in intuitionistic multiary sequent calculi with cuts. Zbl 1041.03040Espírito Santo, José; Pinto, Luís 3 2003 An isomorphism between a fragment of sequent calculus and an extension of natural deduction. Zbl 1023.03053Santo, José Espírito 3 2002 The \(\lambda \)-calculus and the unity of structural proof theory. Zbl 1187.68126Espírito Santo, José 3 2009 Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1167.03012Espírito Santo, José; Matthes, Ralph; Pinto, Luís 2 2007 Structural proof theory as rewriting. Zbl 1151.03347Espírito Santo, J.; Frade, M. J.; Pinto, L. 2 2006 Decidability of several concepts of finiteness for simple types. Zbl 1446.03036Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2019 The polarized \(\lambda\)-calculus. Zbl 1394.68059Espírito Santo, José 1 2017 A refined interpretation of intuitionistic logic by means of atomic polymorphism. Zbl 1479.03006Espírito Santo, José; Ferreira, Gilda 1 2020 Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search. Zbl 1456.03024Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2019 Towards a canonical classical natural deduction system. Zbl 1287.03037Espírito Santo, José 1 2010 Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1168.03008Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2009 Monadic translation of intuitionistic sequent calculus. Zbl 1246.03027Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2009 Towards a canonical classical natural deduction system. Zbl 1296.03011Espírito Santo, José 1 2013 Plotkin’s call-by-value \(\lambda\)-calculus as a modal calculus. Zbl 07531442Santo, José Espírito; Pinto, Luís; Uustalu, Tarmo 1 2022 The Russell-Prawitz embedding and the atomization of universal instantiation. Zbl 1494.03031Santo, José Espírito; Ferreira, Gilda 1 2021 Refocusing generalised normalisation. Zbl 1150.03336Espírito Santo, José 1 2007 Confluence and strong normalisation of the generalised multiary \(\lambda\)-calculus. Zbl 1100.03513Espírito Santo, José; Pinto, Luís 1 2004 A calculus of multiary sequent terms. Zbl 1352.03063Espírito Santo, José; Pinto, Luís 1 2011 A coinductive approach to proof search. Zbl 1469.03041Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2013 Plotkin’s call-by-value \(\lambda\)-calculus as a modal calculus. Zbl 07531442Santo, José Espírito; Pinto, Luís; Uustalu, Tarmo 1 2022 The Russell-Prawitz embedding and the atomization of universal instantiation. Zbl 1494.03031Santo, José Espírito; Ferreira, Gilda 1 2021 A refined interpretation of intuitionistic logic by means of atomic polymorphism. Zbl 1479.03006Espírito Santo, José; Ferreira, Gilda 1 2020 Decidability of several concepts of finiteness for simple types. Zbl 1446.03036Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2019 Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search. Zbl 1456.03024Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2019 The polarized \(\lambda\)-calculus. Zbl 1394.68059Espírito Santo, José 1 2017 Towards a canonical classical natural deduction system. Zbl 1296.03011Espírito Santo, José 1 2013 A coinductive approach to proof search. Zbl 1469.03041Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2013 Characterising strongly normalising intuitionistic terms. Zbl 1277.03003Espírito Santo, José; Ivetić, Jelena; Likavec, Silvia 3 2012 A calculus of multiary sequent terms. Zbl 1352.03063Espírito Santo, José; Pinto, Luís 1 2011 Towards a canonical classical natural deduction system. Zbl 1287.03037Espírito Santo, José 1 2010 The \(\lambda \)-calculus and the unity of structural proof theory. Zbl 1187.68126Espírito Santo, José 3 2009 Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1168.03008Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2009 Monadic translation of intuitionistic sequent calculus. Zbl 1246.03027Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2009 Delayed substitutions. Zbl 1203.68031Espírito Santo, José 6 2007 Completing Herbelin’s programme. Zbl 1215.03023Espírito Santo, José 5 2007 Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1167.03012Espírito Santo, José; Matthes, Ralph; Pinto, Luís 2 2007 Refocusing generalised normalisation. Zbl 1150.03336Espírito Santo, José 1 2007 Structural proof theory as rewriting. Zbl 1151.03347Espírito Santo, J.; Frade, M. J.; Pinto, L. 2 2006 Confluence and strong normalisation of the generalised multiary \(\lambda\)-calculus. Zbl 1100.03513Espírito Santo, José; Pinto, Luís 1 2004 Permutative conversions in intuitionistic multiary sequent calculi with cuts. Zbl 1041.03040Espírito Santo, José; Pinto, Luís 3 2003 An isomorphism between a fragment of sequent calculus and an extension of natural deduction. Zbl 1023.03053Santo, José Espírito 3 2002 Revisiting the correspondence between cut elimination and normalisation. Zbl 0973.03073Espírito Santo, José 7 2000 all cited Publications top 5 cited Publications all top 5 Cited by 32 Authors 8 Espírito Santo, José Carlos 4 Pinto, Luís F. 3 Matthes, Ralph 2 Ghilezan, Silvia 2 Ivetić, Jelena 2 Kikuchi, Kentaro 2 Lima Ventura, Daniel 1 Ayala-Rincón, Mauricio 1 Barbosa, Luís Soares 1 Bloo, Roel 1 David, Rene 1 Fernández, Maribel 1 Ferrari, Mauro 1 Fiorentini, Camillo 1 Frade, Maria João 1 Henriques, Pedro Rangel 1 Kesner, Delia 1 Lang, Frédéric 1 Lengrand, Stéphane Jean Eric 1 Lescanne, Pierre 1 Likavec, Silvia 1 Nakazawa, Koji 1 Oliveira, José Nuno 1 Petrolo, Mattia 1 Pinto, Jorge Sousa 1 Pistone, Paolo 1 Puech, Matthias 1 Rocha-Oliveira, Ana Cristina 1 Rose, Kristoffer Høgsbro 1 Tranchini, Luca 1 Urban, Christian 1 Zhang, Wenhui all top 5 Cited in 7 Serials 4 Theoretical Computer Science 2 Annals of Pure and Applied Logic 2 Journal of Automated Reasoning 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Studia Logica 1 Theory of Computing Systems Cited in 2 Fields 19 Mathematical logic and foundations (03-XX) 12 Computer science (68-XX) Citations by Year