José Carlos Soares do Espírito Santo
AuthID: R-000-880
11
TITLE: A note on strong normalization in classical natural deduction
AUTHORS: Jose Espirito Santo;
PUBLISHED: 2016, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 213
AUTHORS: Jose Espirito Santo;
PUBLISHED: 2016, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 213
INDEXED IN: 
WOS
WOS12
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
Scopus13
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
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef14
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
15
TITLE: A coinductive approach to proof search Full Text
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2013, SOURCE: 9th Workshop on Fixed Points in Computer Science, FICS 2013 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 126
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2013, SOURCE: 9th Workshop on Fixed Points in Computer Science, FICS 2013 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 126
INDEXED IN: Scopus CrossRef
Scopus CrossRef16
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
17
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
INDEXED IN: WOS CrossRef
WOS CrossRef18
TITLE: An isomorphism between a fragment of sequent calculus and an extension of natural deduction
AUTHORS: Santo, JE;
PUBLISHED: 2002, SOURCE: 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2514
AUTHORS: Santo, JE;
PUBLISHED: 2002, SOURCE: 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2514
INDEXED IN: Scopus
Scopus