José Carlos Soares do Espírito Santo
AuthID: R-000-880
21
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
ORCID22
TÃTULO: The Polarized λ-calculus
AUTORES: Santo, JE;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
AUTORES: Santo, JE;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
23
TÃTULO: A note on strong normalization in classical natural deduction
AUTORES: Santo, JE;
PUBLICAÇÃO: 2016, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 213, NÚMERO: 213
AUTORES: Santo, JE;
PUBLICAÇÃO: 2016, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 213, NÚMERO: 213
24
TÃTULO: Curry-howard for sequent calculus at last!
AUTORES: Santo, JE;
PUBLICAÇÃO: 2015, FONTE: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 38
AUTORES: Santo, JE;
PUBLICAÇÃO: 2015, FONTE: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 38
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID25
TÃTULO: Confluence for classical logic through the distinction between values and computations Full Text
AUTORES: Santo, JE; Matthes, R; Nakazawa, K; Pinto, L;
PUBLICAÇÃO: 2014, FONTE: 5th International Workshop on Classical Logic and Computation, CLandC 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 164
AUTORES: Santo, JE; Matthes, R; Nakazawa, K; Pinto, L;
PUBLICAÇÃO: 2014, FONTE: 5th International Workshop on Classical Logic and Computation, CLandC 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 164
26
TÃTULO: Monadic translation of classical sequent calculus
AUTORES: JOSÉ ESPÍRITO SANTO; RALPH MATTHES; KOJI NAKAZAWA; LUÍS PINTO;
PUBLICAÇÃO: 2013, FONTE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 23, NÚMERO: 06
AUTORES: JOSÉ ESPÍRITO SANTO; RALPH MATTHES; KOJI NAKAZAWA; LUÍS PINTO;
PUBLICAÇÃO: 2013, FONTE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 23, NÚMERO: 06
27
TÃTULO: A coinductive approach to proof search Full Text
AUTORES: Santo, JE; Matthes, R; Pinto, L;
PUBLICAÇÃO: 2013, FONTE: 9th Workshop on Fixed Points in Computer Science, FICS 2013 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 126
AUTORES: Santo, JE; Matthes, R; Pinto, L;
PUBLICAÇÃO: 2013, FONTE: 9th Workshop on Fixed Points in Computer Science, FICS 2013 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 126
28
TÃTULO: Intravenous Immunoglobulin in Lupus Panniculitis Full Text
AUTORES: Joao Espirito Santo; Gomes, MF; Gomes, MJ; Peixoto, L; Pereira, SC; Acabado, A; Freitas, J; Vinhas V de Sousa;
PUBLICAÇÃO: 2010, FONTE: CLINICAL REVIEWS IN ALLERGY & IMMUNOLOGY, VOLUME: 38, NÚMERO: 2-3
AUTORES: Joao Espirito Santo; Gomes, MF; Gomes, MJ; Peixoto, L; Pereira, SC; Acabado, A; Freitas, J; Vinhas V de Sousa;
PUBLICAÇÃO: 2010, FONTE: CLINICAL REVIEWS IN ALLERGY & IMMUNOLOGY, VOLUME: 38, NÚMERO: 2-3
30
TÃTULO: Confluence and Strong Normalisation of the Generalised Multiary λ-Calculus
AUTORES: José Espírito Santo; Luís Pinto;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science - Types for Proofs and Programs
AUTORES: José Espírito Santo; Luís Pinto;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science - Types for Proofs and Programs
