José Carlos Soares do Espírito Santo
AuthID: R-000-880
21
TITLE: Inhabitation in simply-typed lambda-calculus through a lambda-calculus for proof search
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
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; Matthes, R; Pinto, L;
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: 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
ORCID23
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
24
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
25
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
ORCID26
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
27
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
28
29
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
