José Carlos Soares do Espírito Santo


AuthID: R-000-880

Publicações Confirmadas: 18



11
TÍTULO: Characterising strongly normalising intuitionistic sequent terms
AUTORES: Espirito Santo, J ; Ghilezan, S; Ivetic, J;
PUBLICAÇÃO: 2008, FONTE: 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
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
12
TÍTULO: Completing Herbelin's programme
AUTORES: Jose Espirito Santo ;
PUBLICAÇÃO: 2007, FONTE: 8th International Conference on Typed Lambda Calculi and Applications in Typed Lambda Calculi and Applications, Proceedings, VOLUME: 4583
INDEXADO EM: Scopus WOS
NO MEU: ORCID
13
TÍTULO: Continuation-passing style and strong normalisation for intuitionistic sequent calculi
AUTORES: Jose Espirito Santo ; Ralph Matthes; Luis Pinto ;
PUBLICAÇÃO: 2007, FONTE: 8th International Conference on Typed Lambda Calculi and Applications in Typed Lambda Calculi and Applications, Proceedings, VOLUME: 4583
INDEXADO EM: Scopus WOS
NO MEU: ORCID
14
TÍTULO: Delayed substitutions
AUTORES: Santo, JE ;
PUBLICAÇÃO: 2007, FONTE: 18th International Conference on Rewriting Techniques and Applications in Term Rewriting and Applications, Proceedings, VOLUME: 4533
INDEXADO EM: Scopus WOS CrossRef: 6
NO MEU: ORCID
15
TÍTULO: Refocusing generalised normalisation
AUTORES: Jose Espirito Santo ;
PUBLICAÇÃO: 2007, FONTE: 3rd Conference on Computability in Europe (CiE 2007) in Computation and Logic in the Real World, Proceedings, VOLUME: 4497
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
16
TÍTULO: Structural proof theory as rewriting
AUTORES: Santo, JE ; Frade, MJ ; Pinto, L ;
PUBLICAÇÃO: 2006, FONTE: 17th International Conference on Rewriting Techniques and Applications in TERM REWRITING AND APPLICATIONS, PROCEEDINGS, VOLUME: 4098
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID
17
TÍTULO: Confluence and strong normalisation of the generalised multiary lambda-calculus
AUTORES: Santo, JE ; Pinto, L ;
PUBLICAÇÃO: 2004, FONTE: 3rd Annual Workshop of the Types-Working-Group (TYPES 2003) in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 3085
INDEXADO EM: Scopus WOS
NO MEU: ORCID
18
TÍTULO: Permutative conversions in intuitionistic multiary sequent calculi with cuts
AUTORES: Santo, JE ; Pinto, L ;
PUBLICAÇÃO: 2003, FONTE: 6th International Conference on Typed Lambda Calculi and Applications (TLCA 2003) in TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, VOLUME: 2701
INDEXADO EM: Scopus WOS CrossRef: 10
NO MEU: ORCID
Página 2 de 2. Total de resultados: 18.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service