JOSE CARLOS SOARES DO ESPIRITO SANTO

Associate Professor

University of Minho

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

Publications

Partial Proof Terms in the Study of Idealized Proof Search

Ana Sousa

DOI

The logical essence of call-by-name CPS translations

DOI

The Logical Essence of Compiling with Continuations

8th International Conference on Formal Structures for Computation and Deduction | 2023

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