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