José Carlos Espírito Santo - Author Profile

Edit Profile

Espírito Santo, José Carlos

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:	37 Publications since 2000, including 2 Additional arXiv Preprints
	1 Contribution as Editor
Co-Authors:	13 Co-Authors with 25 Joint Publications
	194 Co-Co-Authors

all top 5

Co-Authors

13	single-authored
17	Pinto, Luís F.
10	Matthes, Ralph
3	Ferreira, Gilda
2	Frade, Maria João
2	Ivetić, Jelena
2	Kesner, Delia
2	Nakazawa, Koji
2	Peyrot, Loïc
2	Uustalu, Tarmo
1	Dybjer, Peter
1	Ghilezan, Silvia
1	Likavec, Silvia
1	Pinto, Linu

all top 5

Serials

2	Annals of Pure and Applied Logic
2	Mathematical Structures in Computer Science
2	Fundamenta Informaticae
2	Logical Methods in Computer Science
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	LIPIcs – Leibniz International Proceedings in Informatics

Fields

36	Mathematical logic and foundations (03-XX)
17	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

26 Publications have been cited 71 times in 33 Documents	Cited by ▼	Year ▼
Revisiting the correspondence between cut elimination and normalisation. Zbl 0973.03073 Espírito Santo, José	8	2000
Delayed substitutions. Zbl 1203.68031 Espírito Santo, José	8	2007
Completing Herbelin’s programme. Zbl 1215.03023 Espírito Santo, José	7	2007
Permutative conversions in intuitionistic multiary sequent calculi with cuts. Zbl 1041.03040 Espírito Santo, José; Pinto, Luís	5	2003
Characterising strongly normalising intuitionistic terms. Zbl 1277.03003 Espírito Santo, José; Ivetić, Jelena; Likavec, Silvia	4	2012
Modal embeddings and calling paradigms. Zbl 1528.03123 Espírito Santo, José; Pinto, Luís; Uustalu, Tarmo	4	2019
The \(\lambda \)-calculus and the unity of structural proof theory. Zbl 1187.68126 Espírito Santo, José	4	2009
The polarized \(\lambda\)-calculus. Zbl 1394.68059 Espírito Santo, José	3	2017
An isomorphism between a fragment of sequent calculus and an extension of natural deduction. Zbl 1023.03053 Santo, José Espírito	3	2002
Structural proof theory as rewriting. Zbl 1151.03347 Espírito Santo, J.; Frade, M. J.; Pinto, L.	3	2006
A calculus of multiary sequent terms. Zbl 1352.03063 Espírito Santo, José; Pinto, Luís	2	2011
A refined interpretation of intuitionistic logic by means of atomic polymorphism. Zbl 1479.03006 Espírito Santo, José; Ferreira, Gilda	2	2020
Plotkin’s call-by-value \(\lambda\)-calculus as a modal calculus. Zbl 1541.68084 Espírito Santo, José; Pinto, Luís; Uustalu, Tarmo	2	2022
A coinductive approach to proof search. Zbl 1469.03041 Espírito Santo, José; Matthes, Ralph; Pinto, Luís	2	2013
Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1167.03012 Espírito Santo, José; Matthes, Ralph; Pinto, Luís	2	2007
Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1168.03008 Espírito Santo, José; Matthes, Ralph; Pinto, Luís	2	2009
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search. Zbl 1456.03024 Espírito Santo, José; Matthes, Ralph; Pinto, Luís	1	2019
Towards a canonical classical natural deduction system. Zbl 1296.03011 Espírito Santo, José	1	2013
Decidability of several concepts of finiteness for simple types. Zbl 1446.03036 Espírito Santo, José; Matthes, Ralph; Pinto, Luís	1	2019
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications. Zbl 07649237 Espírito Santo, José; Frade, Maria João; Pinto, Luís	1	2023
A faithful and quantitative notion of distant reduction for generalized applications. Zbl 07793034 Espírito Santo, José; Kesner, Delia; Peyrot, Loïc	1	2022
Confluence and strong normalisation of the generalised multiary \(\lambda\)-calculus. Zbl 1100.03513 Espírito Santo, José; Pinto, Luís	1	2004
The Russell-Prawitz embedding and the atomization of universal instantiation. Zbl 1494.03031 Santo, José Espírito; Ferreira, Gilda	1	2021
Refocusing generalised normalisation. Zbl 1150.03336 Espírito Santo, José	1	2007
Towards a canonical classical natural deduction system. Zbl 1287.03037 Espírito Santo, José	1	2010
Monadic translation of intuitionistic sequent calculus. Zbl 1246.03027 Espírito Santo, José; Matthes, Ralph; Pinto, Luís	1	2009
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications. Zbl 07649237 Espírito Santo, José; Frade, Maria João; Pinto, Luís	1	2023
Plotkin’s call-by-value \(\lambda\)-calculus as a modal calculus. Zbl 1541.68084 Espírito Santo, José; Pinto, Luís; Uustalu, Tarmo	2	2022
A faithful and quantitative notion of distant reduction for generalized applications. Zbl 07793034 Espírito Santo, José; Kesner, Delia; Peyrot, Loïc	1	2022
The Russell-Prawitz embedding and the atomization of universal instantiation. Zbl 1494.03031 Santo, José Espírito; Ferreira, Gilda	1	2021
A refined interpretation of intuitionistic logic by means of atomic polymorphism. Zbl 1479.03006 Espírito Santo, José; Ferreira, Gilda	2	2020
Modal embeddings and calling paradigms. Zbl 1528.03123 Espírito Santo, José; Pinto, Luís; Uustalu, Tarmo	4	2019
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search. Zbl 1456.03024 Espírito Santo, José; Matthes, Ralph; Pinto, Luís	1	2019
Decidability of several concepts of finiteness for simple types. Zbl 1446.03036 Espírito Santo, José; Matthes, Ralph; Pinto, Luís	1	2019
The polarized \(\lambda\)-calculus. Zbl 1394.68059 Espírito Santo, José	3	2017
A coinductive approach to proof search. Zbl 1469.03041 Espírito Santo, José; Matthes, Ralph; Pinto, Luís	2	2013
Towards a canonical classical natural deduction system. Zbl 1296.03011 Espírito Santo, José	1	2013
Characterising strongly normalising intuitionistic terms. Zbl 1277.03003 Espírito Santo, José; Ivetić, Jelena; Likavec, Silvia	4	2012
A calculus of multiary sequent terms. Zbl 1352.03063 Espírito Santo, José; Pinto, Luís	2	2011
Towards a canonical classical natural deduction system. Zbl 1287.03037 Espírito Santo, José	1	2010
The \(\lambda \)-calculus and the unity of structural proof theory. Zbl 1187.68126 Espírito Santo, José	4	2009
Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1168.03008 Espírito Santo, José; Matthes, Ralph; Pinto, Luís	2	2009
Monadic translation of intuitionistic sequent calculus. Zbl 1246.03027 Espírito Santo, José; Matthes, Ralph; Pinto, Luís	1	2009
Delayed substitutions. Zbl 1203.68031 Espírito Santo, José	8	2007
Completing Herbelin’s programme. Zbl 1215.03023 Espírito Santo, José	7	2007
Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1167.03012 Espírito Santo, José; Matthes, Ralph; Pinto, Luís	2	2007
Refocusing generalised normalisation. Zbl 1150.03336 Espírito Santo, José	1	2007
Structural proof theory as rewriting. Zbl 1151.03347 Espírito Santo, J.; Frade, M. J.; Pinto, L.	3	2006
Confluence and strong normalisation of the generalised multiary \(\lambda\)-calculus. Zbl 1100.03513 Espírito Santo, José; Pinto, Luís	1	2004
Permutative conversions in intuitionistic multiary sequent calculi with cuts. Zbl 1041.03040 Espírito Santo, José; Pinto, Luís	5	2003
An isomorphism between a fragment of sequent calculus and an extension of natural deduction. Zbl 1023.03053 Santo, José Espírito	3	2002
Revisiting the correspondence between cut elimination and normalisation. Zbl 0973.03073 Espírito Santo, José	8	2000

all cited Publications top 5 cited Publications

all top 5

Cited by 45 Authors

12	Espírito Santo, José Carlos
6	Pinto, Luís F.
5	Kesner, Delia
4	Matthes, Ralph
2	Bucciarelli, Antonio
2	Ghilezan, Silvia
2	Ivetić, Jelena
2	Kikuchi, Kentaro
2	Peyrot, Loïc
2	Ríos, Alejandro
2	Lima Ventura, Daniel
2	Viso, Andrés
1	Arndt, Michael
1	Ayala-Rincón, Mauricio
1	Barbosa, Luís Soares
1	Bloo, Roel
1	Faggian, Claudia
1	Fernández, Maribel
1	Ferrari, Mauro
1	Ferreira, Gilda
1	Fiorentini, Camillo
1	Frade, Maria João
1	Guerrieri, Giulio
1	Henriques, Pedro Rangel
1	Lang, Frédéric
1	Lengrand, Stéphane Jean Eric
1	Lescanne, Pierre
1	Likavec, Silvia
1	McDermott, Dylan
1	Munch-Maccagnoni, Guillaume
1	Mycroft, Alan
1	Nakazawa, Koji
1	Oliveira, José Nuno
1	Petrolo, Mattia
1	Pinto, Jorge Sousa
1	Pistone, Paolo
1	Protin, M. Clarence
1	Puech, Matthias
1	Rocha-Oliveira, Ana Cristina
1	Rose, Kristoffer Høgsbro
1	Scherer, Gabriel
1	Tranchini, Luca
1	Urban, Christian
1	Uustalu, Tarmo
1	Zhang, Wenhui

all top 5

Cited in 10 Serials

4	Theoretical Computer Science
3	Mathematical Structures in Computer Science
3	Logical Methods in Computer Science
3	Journal of Logical and Algebraic Methods in Programming
2	Annals of Pure and Applied Logic
2	Journal of Automated Reasoning
1	Studia Logica
1	Information and Computation
1	Theory of Computing Systems
1	Theory and Practice of Logic Programming

Cited in 3 Fields

27	Mathematical logic and foundations (03-XX)
22	Computer science (68-XX)
1	Order, lattices, ordered algebraic structures (06-XX)

Espírito Santo, José Carlos

Co-Authors

Serials

Fields

Publications by Year

Citations contained in zbMATH Open

Cited by 45 Authors

Cited in 10 Serials

Cited in 3 Fields

Citations by Year