Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
José Espírito Santo - MaRDI portal

José Espírito Santo

From MaRDI portal
Person:631759

Available identifiers

zbMath Open espirito-santo.jose-carlosMaRDI QIDQ631759

List of research outcomes

PublicationDate of PublicationType
A faithful and quantitative notion of distant reduction for generalized applications2024-01-23Paper
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications2023-02-03Paper
Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus2022-05-25Paper
https://portal.mardi4nfdi.de/entity/Q50153642021-12-07Paper
The Russell-Prawitz embedding and the atomization of universal instantiation2021-12-03Paper
A coinductive approach to proof search through typed lambda-calculi2021-09-30Paper
https://portal.mardi4nfdi.de/entity/Q49953812021-06-24Paper
https://portal.mardi4nfdi.de/entity/Q49928962021-06-10Paper
Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic2020-07-31Paper
A refined interpretation of intuitionistic logic by means of atomic polymorphism2020-06-09Paper
Decidability of Several Concepts of Finiteness for Simple Types2020-01-24Paper
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search2019-10-09Paper
The polarized \(\lambda\)-calculus2018-04-23Paper
https://portal.mardi4nfdi.de/entity/Q46003902018-01-09Paper
Curry-Howard for Sequent Calculus at Last!2017-07-12Paper
A Coinductive Approach to Proof Search through Typed Lambda-Calculi2016-02-13Paper
A calculus of multiary sequent terms2015-09-17Paper
Monadic translation of classical sequent calculus2014-04-16Paper
Towards a canonical classical natural deduction system2013-04-15Paper
Characterising Strongly Normalising Intuitionistic Terms2013-01-24Paper
A note on preservation of strong normalisation in the \(\lambda \)-calculus2011-03-14Paper
Towards a Canonical Classical Natural Deduction System2010-09-03Paper
The \(\lambda \)-calculus and the unity of structural proof theory2009-10-19Paper
Monadic Translation of Intuitionistic Sequent Calculus2009-07-02Paper
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi2009-06-30Paper
Completing Herbelin’s Programme2009-03-10Paper
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi2009-03-10Paper
Structural Proof Theory as Rewriting2008-09-25Paper
Characterising Strongly Normalising Intuitionistic Sequent Terms2008-06-03Paper
Delayed Substitutions2008-01-02Paper
Refocusing Generalised Normalisation2007-11-13Paper
Types for Proofs and Programs2005-12-23Paper
https://portal.mardi4nfdi.de/entity/Q44574652004-03-22Paper
https://portal.mardi4nfdi.de/entity/Q44283112003-09-15Paper
https://portal.mardi4nfdi.de/entity/Q27541802001-11-11Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


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