JOSE CARLOS SOARES DO ESPIRITO SANTO

Associate Professor

University of Minho

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

Publications

The Call-By-Value Lambda-Calculus with Generalized Applications

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

DOI

Decidability of Several Concepts of Finiteness for Simple Types

Fundamenta Informaticae | 2019

J.E. Santo

R. Matthes

Ralph Matthes

Luís Pinto

DOI

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

Mathematical Structures in Computer Science | 2019

R. Matthes

DOI

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