José Espírito Santo

Available identifiers

zbMath Open espirito-santo.jose-carlosMaRDI QIDQ631759

List of research outcomes

Publication	Date of Publication	Type
A faithful and quantitative notion of distant reduction for generalized applications	2024-01-23	Paper
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications	2023-02-03	Paper
Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus	2022-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q5015364	2021-12-07	Paper
The Russell-Prawitz embedding and the atomization of universal instantiation	2021-12-03	Paper
A coinductive approach to proof search through typed lambda-calculi	2021-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q4995381	2021-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q4992896	2021-06-10	Paper
Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic	2020-07-31	Paper
A refined interpretation of intuitionistic logic by means of atomic polymorphism	2020-06-09	Paper
Decidability of Several Concepts of Finiteness for Simple Types	2020-01-24	Paper
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search	2019-10-09	Paper
The polarized \(\lambda\)-calculus	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4600390	2018-01-09	Paper
Curry-Howard for Sequent Calculus at Last!	2017-07-12	Paper
A Coinductive Approach to Proof Search through Typed Lambda-Calculi	2016-02-13	Paper
A calculus of multiary sequent terms	2015-09-17	Paper
Monadic translation of classical sequent calculus	2014-04-16	Paper
Towards a canonical classical natural deduction system	2013-04-15	Paper
Characterising Strongly Normalising Intuitionistic Terms	2013-01-24	Paper
A note on preservation of strong normalisation in the \(\lambda \)-calculus	2011-03-14	Paper
Towards a Canonical Classical Natural Deduction System	2010-09-03	Paper
The \(\lambda \)-calculus and the unity of structural proof theory	2009-10-19	Paper
Monadic Translation of Intuitionistic Sequent Calculus	2009-07-02	Paper
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi	2009-06-30	Paper
Completing Herbelin’s Programme	2009-03-10	Paper
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi	2009-03-10	Paper
Structural Proof Theory as Rewriting	2008-09-25	Paper
Characterising Strongly Normalising Intuitionistic Sequent Terms	2008-06-03	Paper
Delayed Substitutions	2008-01-02	Paper
Refocusing Generalised Normalisation	2007-11-13	Paper
Types for Proofs and Programs	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4457465	2004-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4428311	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q2754180	2001-11-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: José Espírito Santo