José Carlos Soares do Espírito Santo

Assistant Professor

University of Minho

jes@math.uminho.pt
(+351) 253604362
.
ORCID Ciência ID Scopus

Publications

Confluence and Strong Normalisation of the Generalised Multiary λ-Calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2004

Permutative conversions in intuitionistic multiary sequent calculi with cuts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2003

L. Pinto

Permutative conversions in intuitionistic multiary sequent calculi with cuts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2003

An isomorphism between a fragment of sequent calculus and an extension of natural deduction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2002

DOI

Revisiting the correspondence between cut elimination and normalisation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2000

DOI