José Carlos Soares do Espírito Santo

Associate 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 (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

A coinductive approach to proof search through typed lambda-calculi

Annals of Pure and Applied Logic | 2021

R. Matthes

DOI

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic

Leibniz International Proceedings in Informatics, LIPIcs | 2021

R. Matthes

DOI

The Russell-Prawitz embedding and the atomization of universal instantiation

Logic Journal of the IGPL | 2021

Gilda Ferreira

DOI