JOSE CARLOS SOARES DO ESPIRITO SANTO

Associate Professor

University of Minho

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

Publications

Permutability in proof terms for intuitionistic sequent calculus with cuts

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany | 2018

M.J. Frade

DOI

Characterization of strong normalizability for a lambda-calculus with co-control

Leibniz International Proceedings in Informatics, LIPIcs | 2017

S. Ghilezan

Characterization of strong normalizability for a sequent lambda calculus with co-control

ACM International Conference Proceeding Series | 2017

S. Ghilezan

DOI

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