José Carlos Soares do Espírito Santo


AuthID: R-000-880

Confirmed Publications: 18



11
TITLE: Characterising strongly normalising intuitionistic sequent terms
AUTHORS: Espirito Santo, J ; Ghilezan, S; Ivetic, J;
PUBLISHED: 2008, SOURCE: International Conference on Types for Proofs and Programs, TYPES 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4941 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
12
TITLE: Completing Herbelin's programme
AUTHORS: Jose Espirito Santo ;
PUBLISHED: 2007, SOURCE: 8th International Conference on Typed Lambda Calculi and Applications in Typed Lambda Calculi and Applications, Proceedings, VOLUME: 4583
INDEXED IN: Scopus WOS
IN MY: ORCID
13
TITLE: Continuation-passing style and strong normalisation for intuitionistic sequent calculi
AUTHORS: Jose Espirito Santo ; Ralph Matthes; Luis Pinto ;
PUBLISHED: 2007, SOURCE: 8th International Conference on Typed Lambda Calculi and Applications in Typed Lambda Calculi and Applications, Proceedings, VOLUME: 4583
INDEXED IN: Scopus WOS
IN MY: ORCID
14
TITLE: Delayed substitutions
AUTHORS: Jose Espirito Santo ;
PUBLISHED: 2007, SOURCE: 18th International Conference on Rewriting Techniques and Applications in Term Rewriting and Applications, Proceedings, VOLUME: 4533
INDEXED IN: Scopus WOS
IN MY: ORCID
15
TITLE: Refocusing generalised normalisation
AUTHORS: Jose Espirito Santo ;
PUBLISHED: 2007, SOURCE: 3rd Conference on Computability in Europe (CiE 2007) in Computation and Logic in the Real World, Proceedings, VOLUME: 4497
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
16
TITLE: Structural proof theory as rewriting
AUTHORS: Espirito E Santo ; Frade, MJ ; Pinto, L ;
PUBLISHED: 2006, SOURCE: 17th International Conference on Rewriting Techniques and Applications in TERM REWRITING AND APPLICATIONS, PROCEEDINGS, VOLUME: 4098
INDEXED IN: Scopus WOS
IN MY: ORCID
17
TITLE: Confluence and strong normalisation of the generalised multiary lambda-calculus
AUTHORS: Santo, JE ; Pinto, L ;
PUBLISHED: 2004, SOURCE: 3rd Annual Workshop of the Types-Working-Group (TYPES 2003) in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 3085
INDEXED IN: Scopus WOS
IN MY: ORCID
18
TITLE: Permutative conversions in intuitionistic multiary sequent calculi with cuts
AUTHORS: Santo, JE ; Pinto, L ;
PUBLISHED: 2003, SOURCE: 6th International Conference on Typed Lambda Calculi and Applications (TLCA 2003) in TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, VOLUME: 2701
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 2 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