José Espírito Santo

Available identifiers

zbMath Open espirito-santo.jose-carlosMaRDI QIDQ631759

List of research outcomes

Publication	Date of Publication	Type
Partial proof terms in the study of idealized proof search	2024-12-04	Paper
The logical essence of compiling with continuations	2024-10-21	Paper
A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications	2024-09-04	Paper
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
How to avoid the commuting conversions of IPC	N/A	Paper

Research outcomes over time

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