Delimited control operators prove double-negation shift (Q450950): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2011.12.008
@@ Property / DOI: 10.1016/j.apal.2011.12.008 / rank @@
-Normal rank
@@ Property / cites work @@
+A type-theoretic foundation of delimited continuations
+Normal rank
@@ Property / cites work @@
+Polymorphic Delimited Continuations
@@ Property / cites work: Polymorphic Delimited Continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5421788
@@ Property / cites work: Q5421788 / rank @@
+Normal rank
@@ Property / cites work @@
+The deduction theorem in a functional calculus of first order based on strict implication
+Normal rank
@@ Property / cites work @@
+A Functional calculus of first order based on strict implication
+Normal rank
@@ Property / cites work @@
+Q5702662
@@ Property / cites work: Q5702662 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+A Constructive Proof of Dependent Choice, Compatible with Classical Logic
+Normal rank
@@ Property / cites work @@
+Q5545953
@@ Property / cites work: Q5545953 / rank @@
+Normal rank
@@ Property / cites work @@
+Delimited control operators prove double-negation shift
+Normal rank
@@ Property / cites work @@
+A Substructural Type System for Delimited Continuations
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+On the concepts of completeness and interpretation of formal systems
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed lambda-calculus in classical Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+Realizability algebras: a program to well order R
@@ Property / cites work: Realizability algebras: a program to well order R / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability algebras II : new models of ZF + DC
@@ Property / cites work: Realizability algebras II : new models of ZF + DC / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistische Untersuchungen der formalistischen Logik
+Normal rank
@@ Property / cites work @@
+A generalization of jumps and labels
@@ Property / cites work: A generalization of jumps and labels / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional Gödel functional interpretation. A consistency proof of classical analysis
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to Landin's ``A generalization of jumps and labels''
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q2878198
@@ Property / cites work: Q2878198 / rank @@
+Normal rank
@@ Property / cites work @@
+On the unity of duality
@@ Property / cites work: On the unity of duality / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2011.12.008
@@ Property / DOI: 10.1016/J.APAL.2011.12.008 / rank @@
+Normal rank