José Carlos Soares do Espírito Santo
AuthID: R-000-880
11
TÃTULO: The call-by-value lambda-calculus with generalized applications Full Text
AUTORES: Santo, JE;
PUBLICAÇÃO: 2020, FONTE: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 152
AUTORES: Santo, JE;
PUBLICAÇÃO: 2020, FONTE: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 152
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID12
TÃTULO: A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism
AUTORES: Santo, JE; Ferreira, G;
PUBLICAÇÃO: 2020, FONTE: STUDIA LOGICA, VOLUME: 108, NÚMERO: 3
AUTORES: Santo, JE; Ferreira, G;
PUBLICAÇÃO: 2020, FONTE: STUDIA LOGICA, VOLUME: 108, NÚMERO: 3
13
TÃTULO: Modal embeddings and calling paradigms
AUTORES: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2019, FONTE: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 131
AUTORES: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2019, FONTE: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 131
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID14
TÃTULO: Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
AUTORES: Santo, JE; Matthes, R; Pinto, L;
PUBLICAÇÃO: 2019, FONTE: 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, NÚMERO: 8
AUTORES: Santo, JE; Matthes, R; Pinto, L;
PUBLICAÇÃO: 2019, FONTE: 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, NÚMERO: 8
16
TÃTULO: Preface
AUTORES: Peter Dybjer; José Espírito Santo; Luís Pinto;
PUBLICAÇÃO: 2019, FONTE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 130
AUTORES: Peter Dybjer; José Espírito Santo; Luís Pinto;
PUBLICAÇÃO: 2019, FONTE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 130
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID17
TÃTULO: Permutability in proof terms for intuitionistic sequent calculus with cuts
AUTORES: Santo, JE; Frade, MJ ; Pinto, L;
PUBLICAÇÃO: 2018, FONTE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97
AUTORES: Santo, JE; Frade, MJ ; Pinto, L;
PUBLICAÇÃO: 2018, FONTE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID18
TÃTULO: Characterization of strong normalizability for a sequent lambda calculus with co-control
AUTORES: Santo, JE; Ghilezan, S;
PUBLICAÇÃO: 2017, FONTE: 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
AUTORES: Santo, JE; Ghilezan, S;
PUBLICAÇÃO: 2017, FONTE: 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
TÃTULO: Inhabitation in simply-typed lambda-calculus through a lambda-calculus for proof search
AUTORES: Santo, JE; Matthes, R; Pinto, L;
PUBLICAÇÃO: 2017, FONTE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
AUTORES: Santo, JE; Matthes, R; Pinto, L;
PUBLICAÇÃO: 2017, FONTE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID20
TÃTULO: Characterization of strong normalizability for a lambda-calculus with co-control
AUTORES: Santo, JE; Ghilezan, S;
PUBLICAÇÃO: 2017, FONTE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
AUTORES: Santo, JE; Ghilezan, S;
PUBLICAÇÃO: 2017, FONTE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID