JOSE CARLOS SOARES DO ESPIRITO SANTO

Associate Professor

University of Minho

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

Publications

A note on strong normalization in classical natural deduction

Electronic Proceedings in Theoretical Computer Science, EPTCS | 2016

DOI

Curry-howard for sequent calculus at last!

Leibniz International Proceedings in Informatics, LIPIcs | 2015

DOI

Confluence for classical logic through the distinction between values and computations

Electronic Proceedings in Theoretical Computer Science, EPTCS | 2014

R. Matthes

K. Nakazawa

DOI

A coinductive approach to proof search

Electronic Proceedings in Theoretical Computer Science, EPTCS | 2013

R. Matthes

DOI

Monadic translation of classical sequent calculus

Mathematical Structures in Computer Science | 2013

R. Matthes

K. Nakazawa

DOI