Classical realizability in the CPS target language (Q1744381): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2016.09.034
@@ Property / DOI: 10.1016/j.entcs.2016.09.034 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4992396
@@ Property / cites work: Q4992396 / rank @@
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+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 @@
+A semantics of evidence for classical arithmetic
@@ Property / cites work: A semantics of evidence for classical arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3737423
@@ Property / cites work: Q3737423 / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability Toposes from Specifications
@@ Property / cites work: Realizability Toposes from Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179016
@@ Property / cites work: Q4179016 / rank @@
+Normal rank
@@ Property / cites work @@
+A new constructive logic: classic logic
@@ Property / cites work: A new constructive logic: classic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Locus Solum: From the rules of logic to the logic of rules
+Normal rank
@@ Property / cites work @@
+Tripos theory
@@ Property / cites work: Tripos theory / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+A call-by-name lambda-calculus machine
@@ Property / cites work: A call-by-name lambda-calculus machine / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075442
@@ Property / cites work: Q3075442 / rank @@
+Normal rank
@@ Property / cites work @@
+Existential witness extraction in classical realizability and via a negative translation
+Normal rank
@@ Property / cites work @@
+Resource modalities in tensor logic
@@ Property / cites work: Resource modalities in tensor logic / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Control categories and duality: on the categorical semantics of the lambda-mu calculus
+Normal rank
@@ Property / cites work @@
+Classical logic, continuation semantics and abstract machines
+Normal rank
@@ Property / cites work @@
+Computational ludics
@@ Property / cites work: Computational ludics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222903
@@ Property / cites work: Q4222903 / rank @@
+Normal rank
@@ Property / cites work @@
+Dual-intuitionistic logic
@@ Property / cites work: Dual-intuitionistic logic / 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.ENTCS.2016.09.034
@@ Property / DOI: 10.1016/J.ENTCS.2016.09.034 / rank @@
+Normal rank