José Carlos Soares do Espírito Santo
AuthID: R-000-880
1
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
2
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
INDEXED IN: Scopus WOS
3
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
4
TITLE: A coinductive approach to proof search through typed lambda-calculi
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2021, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 172, ISSUE: 10
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2021, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 172, ISSUE: 10
INDEXED IN: WOS
5
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
INDEXED IN: Scopus WOS
6
TITLE: A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism Full Text
AUTHORS: Jose Espirito Santo; Gilda Ferreira;
PUBLISHED: 2020, SOURCE: STUDIA LOGICA, VOLUME: 108, ISSUE: 3
AUTHORS: Jose Espirito Santo; Gilda Ferreira;
PUBLISHED: 2020, SOURCE: STUDIA LOGICA, VOLUME: 108, ISSUE: 3
INDEXED IN: Scopus WOS
7
TITLE: Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
AUTHORS: Jose Espirito Santo; Ralph Matthes; Luis Pinto;
PUBLISHED: 2019, SOURCE: Conference on Structural Proof Theory, Automated Reasoning and Computation in Celebration of Dale Miller's 60th Birthday in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 8
AUTHORS: Jose Espirito Santo; Ralph Matthes; Luis Pinto;
PUBLISHED: 2019, SOURCE: Conference on Structural Proof Theory, Automated Reasoning and Computation in Celebration of Dale Miller's 60th Birthday in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 8
INDEXED IN: WOS
8
TITLE: Decidability of Several Concepts of Finiteness for Simple Types
AUTHORS: Jose Espirito Santo; Ralph Matthes; Luis Pinto;
PUBLISHED: 2019, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 170, ISSUE: 1-3
AUTHORS: Jose Espirito Santo; Ralph Matthes; Luis Pinto;
PUBLISHED: 2019, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 170, ISSUE: 1-3
INDEXED IN: Scopus WOS
9
TITLE: Permutability in proof terms for intuitionistic sequent calculus with cuts
AUTHORS: Santo, JE; Frade, MJ ; Pinto, L;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97
AUTHORS: Santo, JE; Frade, MJ ; Pinto, L;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97
INDEXED IN: Scopus
10
TITLE: Characterization of strong normalizability for a sequent lambda calculus with co-control
AUTHORS: Santo, JE; Ghilezan, S;
PUBLISHED: 2017, SOURCE: 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017 in ACM International Conference Proceeding Series, VOLUME: Part F131196
AUTHORS: Santo, JE; Ghilezan, S;
PUBLISHED: 2017, SOURCE: 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017 in ACM International Conference Proceeding Series, VOLUME: Part F131196
INDEXED IN: Scopus