José Carlos Soares do Espírito Santo

Associate Professor

University of Minho

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

Publications

Revisiting the correspondence between cut elimination and normalisation

Lecture Notes in Computer Science, vol. 1853 |