Imperative programs as proofs via game semantics (Q388203): Difference between revisions

@@ Property / cites work @@
+Q4513619
@@ Property / cites work: Q4513619 / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222822
@@ Property / cites work: Q4222822 / rank @@
+Normal rank
@@ Property / cites work @@
+Focussing and proof construction
@@ Property / cites work: Focussing and proof construction / rank @@
+Normal rank
@@ Property / cites work @@
+A game semantics for linear logic
@@ Property / cites work: A game semantics for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Least and Greatest Fixpoints in Game Semantics
@@ Property / cites work: Least and Greatest Fixpoints in Game Semantics / 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 @@
+Locus Solum: From the rules of logic to the logic of rules
+Normal rank
@@ Property / cites work @@
+The Lambda Lambda-Bar calculus
@@ Property / cites work: The Lambda Lambda-Bar calculus / 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 @@
+Q4225150
@@ Property / cites work: Q4225150 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762218
@@ Property / cites work: Q2762218 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to computability logic
@@ Property / cites work: Introduction to computability logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Categorical Semantics of Higher Order Store
@@ Property / cites work: A Categorical Semantics of Higher Order Store / rank @@
+Normal rank
@@ Property / cites work @@
+Locally Boolean domains
@@ Property / cites work: Locally Boolean domains / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of coroutines
@@ Property / cites work: A calculus of coroutines / rank @@
+Normal rank
@@ Property / cites work @@
+Classical isomorphisms of types
@@ Property / cites work: Classical isomorphisms of types / rank @@
+Normal rank
@@ Property / cites work @@
+Game semantics for first-order logic
@@ Property / cites work: Game semantics for first-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Some Programming Languages Suggested by Game Models (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Game Semantics in String Diagrams
@@ Property / cites work: Game Semantics in String Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Resource modalities in tensor logic
@@ Property / cites work: Resource modalities in tensor logic / rank @@
+Normal rank
@@ Property / cites work @@
+An Explicit Formula for the Free Exponential Modality of Linear Logic
+Normal rank