José Carlos Soares do Espírito Santo
AuthID: R-000-880
21
TITLE: The Polarized λ-calculus
AUTHORS: Santo, JE;
PUBLISHED: 2017, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
AUTHORS: Santo, JE;
PUBLISHED: 2017, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
22
TITLE: A note on strong normalization in classical natural deduction
AUTHORS: Santo, JE;
PUBLISHED: 2016, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 213, ISSUE: 213
AUTHORS: Santo, JE;
PUBLISHED: 2016, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 213, ISSUE: 213
23
TITLE: Curry-howard for sequent calculus at last!
AUTHORS: Santo, JE;
PUBLISHED: 2015, SOURCE: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 38
AUTHORS: Santo, JE;
PUBLISHED: 2015, SOURCE: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 38
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID24
TITLE: Confluence for classical logic through the distinction between values and computations Full Text
AUTHORS: Santo, JE; Matthes, R; Nakazawa, K; Pinto, L;
PUBLISHED: 2014, SOURCE: 5th International Workshop on Classical Logic and Computation, CLandC 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 164
AUTHORS: Santo, JE; Matthes, R; Nakazawa, K; Pinto, L;
PUBLISHED: 2014, SOURCE: 5th International Workshop on Classical Logic and Computation, CLandC 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 164
25
TITLE: Monadic translation of classical sequent calculus
AUTHORS: JOSÉ ESPÍRITO SANTO; RALPH MATTHES; KOJI NAKAZAWA; LUÍS PINTO;
PUBLISHED: 2013, SOURCE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 23, ISSUE: 06
AUTHORS: JOSÉ ESPÍRITO SANTO; RALPH MATTHES; KOJI NAKAZAWA; LUÍS PINTO;
PUBLISHED: 2013, SOURCE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 23, ISSUE: 06
26
27
TITLE: Intravenous Immunoglobulin in Lupus Panniculitis Full Text
AUTHORS: Joao Espirito Santo; Gomes, MF; Gomes, MJ; Peixoto, L; Pereira, SC; Acabado, A; Freitas, J; Vinhas V de Sousa;
PUBLISHED: 2010, SOURCE: CLINICAL REVIEWS IN ALLERGY & IMMUNOLOGY, VOLUME: 38, ISSUE: 2-3
AUTHORS: Joao Espirito Santo; Gomes, MF; Gomes, MJ; Peixoto, L; Pereira, SC; Acabado, A; Freitas, J; Vinhas V de Sousa;
PUBLISHED: 2010, SOURCE: CLINICAL REVIEWS IN ALLERGY & IMMUNOLOGY, VOLUME: 38, ISSUE: 2-3
29
TITLE: Confluence and Strong Normalisation of the Generalised Multiary λ-Calculus
AUTHORS: José Espírito Santo; Luís Pinto;
PUBLISHED: 2004, SOURCE: Lecture Notes in Computer Science - Types for Proofs and Programs
AUTHORS: José Espírito Santo; Luís Pinto;
PUBLISHED: 2004, SOURCE: Lecture Notes in Computer Science - Types for Proofs and Programs
30
TITLE: An isomorphism between a fragment of sequent calculus and an extension of natural deduction Full Text
AUTHORS: Santo, JE;
PUBLISHED: 2002, SOURCE: 9th International Conference on Logic for Programming, Artificial Intelligence and Reasoning in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, VOLUME: 2514
AUTHORS: Santo, JE;
PUBLISHED: 2002, SOURCE: 9th International Conference on Logic for Programming, Artificial Intelligence and Reasoning in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, VOLUME: 2514
