Monadic Translation of Intuitionistic Sequent Calculus

DOI10.1007/978-3-642-02444-3_7MaRDI QIDQ3638248zbMATH OpenOpenAlexFDO

Authors José Espírito Santo, Ralph Matthes, Luís Pinto

Publication date 2 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02444-3_7

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Recommendations

• Monadic translation of classical sequent calculus
• Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
• Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
• scientific article; zbMATH DE number 2003163
• scientific article; zbMATH DE number 1956457

Cites work

• A reflection on call-by-value
• An equivalence between lambda- terms
• Call-by-value, call-by-name, and strong normalization for the classical sequent calculus
• Completing Herbelin’s Programme
• Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
• Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
• Delayed Substitutions
• Foundations of Software Science and Computation Structures
• Normalization as a homomorphic image of cut-elimination
• Notions of computation and monads
• Strong normalization proofs by CPS-translations
• The correspondence between cut-elimination and normalization
• The duality of computation

Cited in

(9)

• Truthful Monadic Abstractions
• Synthesizing Monadic Predicates
• Computational Semantics for Monadic Quantifiers
• scientific article; zbMATH DE number 1956457 (Why is no real title available?)
• scientific article; zbMATH DE number 1956493 (Why is no real title available?)
• scientific article; zbMATH DE number 2003163 (Why is no real title available?)
• scientific article; zbMATH DE number 7533352 (Why is no real title available?)
• Just do it
• Monadic translation of classical sequent calculus

This page was built for publication: Monadic Translation of Intuitionistic Sequent Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3638248)