José Carlos Soares do Espírito Santo
AuthID: R-000-880
31
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
32
TITLE: An isomorphism between a fragment of sequent calculus and an extension of natural deduction Full Text
AUTHORS: Santo, JE;
PUBLISHED: 2002, SOURCE: 9th International Conference on Logic for Programming, Artificial Intelligence and Reasoning in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, VOLUME: 2514
AUTHORS: Santo, JE;
PUBLISHED: 2002, SOURCE: 9th International Conference on Logic for Programming, Artificial Intelligence and Reasoning in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, VOLUME: 2514
33
TITLE: An isomorphism between a fragment of sequent calculus and an extension of natural deduction
AUTHORS: Santo, JE;
PUBLISHED: 2002, SOURCE: 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2514
AUTHORS: Santo, JE;
PUBLISHED: 2002, SOURCE: 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2514
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID34
TITLE: Revisiting the correspondence between cut elimination and normalisation
AUTHORS: Santo, JE;
PUBLISHED: 2000, SOURCE: AUTOMATA LANGUAGES AND PROGRAMMING, VOLUME: 1853
AUTHORS: Santo, JE;
PUBLISHED: 2000, SOURCE: AUTOMATA LANGUAGES AND PROGRAMMING, VOLUME: 1853
