Monadic Translation of Intuitionistic Sequent Calculus (Q3638248): Difference between revisions

@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Completing Herbelin’s Programme
@@ Property / cites work: Completing Herbelin’s Programme / rank @@
+Normal rank
@@ Property / cites work @@
+Delayed Substitutions
@@ Property / cites work: Delayed Substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
+Normal rank
@@ Property / cites work @@
+Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
+Normal rank
@@ Property / cites work @@
+Strong normalization proofs by CPS-translations
@@ Property / cites work: Strong normalization proofs by CPS-translations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844073
@@ Property / cites work: Q2844073 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Normalization as a homomorphic image of cut-elimination
+Normal rank
@@ Property / cites work @@
+An equivalence between lambda- terms
@@ Property / cites work: An equivalence between lambda- terms / rank @@
+Normal rank
@@ Property / cites work @@
+A reflection on call-by-value
@@ Property / cites work: A reflection on call-by-value / rank @@
+Normal rank
@@ Property / cites work @@
+The correspondence between cut-elimination and normalization
+Normal rank