José Carlos Soares do Espírito Santo
AuthID: R-000-880
21
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
ORCID22
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
23
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
24
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
ORCID25
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
26
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
27
28
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
30
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
