José Carlos Soares do Espírito Santo

Associate Professor

University of Minho

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

Publications

Modal embeddings and calling paradigms

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

T. Uustalu

DOI

The Russell-Prawitz embedding and the atomization of universal instantiation

arXiv | 2019

G. Ferreira

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