José Carlos Soares do Espírito Santo


AuthID: R-000-880

Confirmed Publications: 18



1
TITLE: Monadic translation of classical sequent calculus
AUTHORS: Santo, JE ; Matthes, R; Nakazawa, K; Pinto, L ;
PUBLISHED: 2013, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 23, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID
2
TITLE: Towards a canonical classical natural deduction system  Full Text
AUTHORS: Santo, JE ;
PUBLISHED: 2013, SOURCE: Meeting on 3rd Classical Logic and Computation (CLAC) in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 164, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: Characterising Strongly Normalising Intuitionistic Terms
AUTHORS: Jose Espirito Santo ; Jelena Ivetic; Silvia Likavec;
PUBLISHED: 2012, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 121, ISSUE: 1-4
INDEXED IN: Scopus WOS
IN MY: ORCID
4
TITLE: A Calculus of Multiary Sequent Terms  Full Text
AUTHORS: Jose Espirito Santo ; Luis Pinto ;
PUBLISHED: 2011, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 12, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
5
TITLE: A note on preservation of strong normalisation in the lambda-calculus  Full Text
AUTHORS: Santo, JE ;
PUBLISHED: 2011, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, ISSUE: 11
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
6
TITLE: Towards a Canonical Classical Natural Deduction System  Full Text
AUTHORS: Santo, JE ;
PUBLISHED: 2010, SOURCE: Annual Conference of the European Association for Computer Science Logic in COMPUTER SCIENCE LOGIC, VOLUME: 6247
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
7
TITLE: Monadic Translation of Intuitionistic Sequent Calculus
AUTHORS: Jose Espirito Santo ; Ralph Matthes; Luis Pinto ;
PUBLISHED: 2009, SOURCE: International Conference of the TYPES 2008 in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 5497
INDEXED IN: WOS
8
TITLE: Monadic translation of intuitionistic sequent calculus
AUTHORS: Espirito Santo, J ; Matthes, R; Pinto, L ;
PUBLISHED: 2009, SOURCE: International Conference on Types for Proofs and Programs, TYPES 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5497 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
9
TITLE: The lambda-Calculus and the Unity of Structural Proof Theory  Full Text
AUTHORS: Jose Espirito Santo ;
PUBLISHED: 2009, SOURCE: 3rd Computability in Europe Conference 2007 in THEORY OF COMPUTING SYSTEMS, VOLUME: 45, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
10
TITLE: Characterising strongly normalising intuitionistic sequent terms
AUTHORS: Espirito E Santo ; Ghilezan, S; Ivetic, J;
PUBLISHED: 2008, SOURCE: International Conference on Types for Proofs and Programs (TYPES 2007) in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4941
INDEXED IN: WOS
Page 1 of 2. Total results: 18.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service