José Carlos Soares do Espírito Santo

Assistant 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

Leibniz International Proceedings in Informatics, LIPIcs | 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

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