José Carlos Soares do Espírito Santo

Assistant Professor

University of Minho

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

Publications

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

Lecture Notes in Computer Science, vol. 2514 |

Revisiting the correspondence between cut elimination and normalisation

Lecture Notes in Computer Science, vol. 1853 |