Monadic Translation of Intuitionistic Sequent Calculus
From MaRDI portal
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)