JOSE CARLOS SOARES DO ESPIRITO SANTO

Associate Professor

University of Minho

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

Publications

The Logical Essence of Compiling with Continuations

DOI

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

Plotkin's call-by-value λ-calculus as a modal calculus

Journal of Logical and Algebraic Methods in Programming | 2022

T. Uustalu

DOI