José Carlos Soares do Espírito Santo
AuthID: R-000-880
11
TITLE: The call-by-value lambda-calculus with generalized applications Full Text
AUTHORS: Santo, JE;
PUBLISHED: 2020, SOURCE: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 152
AUTHORS: Santo, JE;
PUBLISHED: 2020, SOURCE: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 152
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID12
TITLE: A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism
AUTHORS: Santo, JE; Ferreira, G;
PUBLISHED: 2020, SOURCE: STUDIA LOGICA, VOLUME: 108, ISSUE: 3
AUTHORS: Santo, JE; Ferreira, G;
PUBLISHED: 2020, SOURCE: STUDIA LOGICA, VOLUME: 108, ISSUE: 3
13
TITLE: Modal embeddings and calling paradigms
AUTHORS: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLISHED: 2019, SOURCE: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 131
AUTHORS: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLISHED: 2019, SOURCE: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 131
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID14
TITLE: Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
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: Santo, JE; Matthes, R; Pinto, L;
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
16
TITLE: Preface
AUTHORS: Peter Dybjer; José Espírito Santo; Luís Pinto;
PUBLISHED: 2019, SOURCE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 130
AUTHORS: Peter Dybjer; José Espírito Santo; Luís Pinto;
PUBLISHED: 2019, SOURCE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 130
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID17
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
Scopus IN MY: ORCID
ORCID18
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 PROCEEDINGS OF THE 19TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2017), VOLUME: Part F131196
AUTHORS: Santo, JE; Ghilezan, S;
PUBLISHED: 2017, SOURCE: 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017 in PROCEEDINGS OF THE 19TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2017), VOLUME: Part F131196
19
TITLE: Inhabitation in simply-typed lambda-calculus through a lambda-calculus for proof search
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2017, SOURCE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2017, SOURCE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID20
TITLE: Characterization of strong normalizability for a lambda-calculus with co-control
AUTHORS: Santo, JE; Ghilezan, S;
PUBLISHED: 2017, SOURCE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
AUTHORS: Santo, JE; Ghilezan, S;
PUBLISHED: 2017, SOURCE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID