José Carlos Soares do Espírito Santo

Associate Professor

University of Minho

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

Publications

Inhabitation in simply-typed lambda-calculus through a lambda-calculus for proof search

Leibniz International Proceedings in Informatics, LIPIcs | 2017

R. Matthes

The Polarized λ-calculus

Electronic Notes in Theoretical Computer Science | 2017

DOI

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