José Carlos Soares do Espírito Santo

Assistant Professor

University of Minho

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

Publications

Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications

Journal of Logical and Algebraic Methods in Programming | 2023

Maria Frade

Luís Pinto

DOI

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

The Russell-Prawitz embedding and the atomization of universal instantiation

Logic Journal of the IGPL | 2021

Gilda Ferreira

DOI

A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism

Studia Logica | 2020

Gilda Ferreira

DOI