Monadic translation of classical sequent calculus (Q5410235): Difference between revisions

@@ Property / cites work @@
+Soundness and principal contexts for a shallow polymorphic type system based on classical logic
+Normal rank
@@ Property / cites work @@
+Completeness of continuation models for \(\lambda_\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
+Normal rank
@@ Property / cites work @@
+Call-by-Value  -calculus and LJQ
@@ Property / cites work: Call-by-Value -calculus and LJQ / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic Translation of Intuitionistic Sequent Calculus
+Normal rank
@@ Property / cites work @@
+The Duality of Computation under Focus
@@ Property / cites work: The Duality of Computation under Focus / rank @@
+Normal rank
@@ Property / cites work @@
+Domain-free pure type systems
@@ Property / cites work: Domain-free pure type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Weak normalization implies strong normalization in a class of non-dependent pure type systems
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Strong normalization proof with CPS-translation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalization proofs by CPS-translations
@@ Property / cites work: Strong normalization proofs by CPS-translations / rank @@
+Normal rank