José Carlos Soares do Espírito Santo
AuthID: R-000-880
1
TITLE: Partial Proof Terms in the Study of Idealized Proof Search
AUTHORS: Santo, Jose Espirito; Sousa, Ana Catarina;
PUBLISHED: 2024, SOURCE: 17th International Conference on Intelligent Computer Mathematics (CICM) in INTELLIGENT COMPUTER MATHEMATICS, CICM 2024, VOLUME: 14690
AUTHORS: Santo, Jose Espirito; Sousa, Ana Catarina;
PUBLISHED: 2024, SOURCE: 17th International Conference on Intelligent Computer Mathematics (CICM) in INTELLIGENT COMPUTER MATHEMATICS, CICM 2024, VOLUME: 14690
2
TITLE: A FAITHFUL AND QUANTITATIVE NOTION OF DISTANT REDUCTION FOR THE LAMBDA-CALCULUS WITH GENERALIZED APPLICATIONS
AUTHORS: Santo, Jose Espirito; Kesner, Delia; Peyrot, Loic;
PUBLISHED: 2024, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 20, ISSUE: 3
AUTHORS: Santo, Jose Espirito; Kesner, Delia; Peyrot, Loic;
PUBLISHED: 2024, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 20, ISSUE: 3
INDEXED IN: 
Scopus 
WOS
Scopus WOS3
TITLE: The logical essence of call-by-name CPS translations
AUTHORS: Santo, Jose Espirito; Mendes, Filipa;
PUBLISHED: 2024, SOURCE: 26th International Conference on Principles and Practice of Declarative Programming (PPDP) in 26TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2024
AUTHORS: Santo, Jose Espirito; Mendes, Filipa;
PUBLISHED: 2024, SOURCE: 26th International Conference on Principles and Practice of Declarative Programming (PPDP) in 26TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2024
4
TITLE: Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
AUTHORS: Santo, Jose Espirito; Frade, Maria Joao ; Pinto, Luis;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 131
AUTHORS: Santo, Jose Espirito; Frade, Maria Joao ; Pinto, Luis;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 131
5
TITLE: A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications
AUTHORS: Santo, Jose Espirito; Kesner, Delia; Peyrot, Loic;
PUBLISHED: 2022, SOURCE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
AUTHORS: Santo, Jose Espirito; Kesner, Delia; Peyrot, Loic;
PUBLISHED: 2022, SOURCE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
6
TITLE: Plotkin's call-by-value λ-calculus as a modal calculus
AUTHORS: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLISHED: 2022, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 127
AUTHORS: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLISHED: 2022, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 127
7
TITLE: <p>Plotkin?s call-by-value ?-calculus as a modal calculus</p>
AUTHORS: Santo, Jose Espirito; Pinto, Luis; Uustalu, Tarmo;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 127
AUTHORS: Santo, Jose Espirito; Pinto, Luis; Uustalu, Tarmo;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 127
INDEXED IN: WOS
WOS IN MY: 
ORCID
ORCID8
TITLE: Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2021, SOURCE: 26th International Conference on Types for Proofs and Programs, TYPES 2020 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 188
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2021, SOURCE: 26th International Conference on Types for Proofs and Programs, TYPES 2020 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 188
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID10
TITLE: The Russell-Prawitz embedding and the atomization of universal instantiation
AUTHORS: Santo, JE; Ferreira, G;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 5
AUTHORS: Santo, JE; Ferreira, G;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 5
