José Carlos Soares do Espírito Santo

Assistant Professor

University of Minho

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

Publications

A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications

Delia Kesner

Loïc Peyrot

DOI

A faithful and quantitative notion of distant reduction for generalized applications (long version)

arXiv | 2022

D. Kesner

L. Peyrot

A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism

Studia Logica | 2020

Gilda Ferreira

DOI

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