Realisability semantics of parametric polymorphism, general references and recursive types (Q3583027): Difference between revisions

@@ Property / cites work @@
+Call-by-push-value: Decomposing call-by-value and call-by-name
+Normal rank
@@ Property / cites work @@
+A Semantic Foundation for Hidden State
@@ Property / cites work: A Semantic Foundation for Hidden State / rank @@
+Normal rank
@@ Property / cites work @@
+A Fully Abstract Trace Semantics for General References
+Normal rank
@@ Property / cites work @@
+Syntactic Logical Relations for Polymorphic and Recursive Types
+Normal rank
@@ Property / cites work @@
+Relational Reasoning for Recursive Types and References
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+Recursion over realizability structures
@@ Property / cites work: Recursion over realizability structures / rank @@
+Normal rank
@@ Property / cites work @@
+The connection between initial and unique solutions of domain equations in the partial order and metric approach
+Normal rank
@@ Property / cites work @@
+A game semantics for generic polymorphism
@@ Property / cites work: A game semantics for generic polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+[top     ][top     ]-closed relations and admissibility
@@ Property / cites work: [top ][top ]-closed relations and admissibility / rank @@
+Normal rank
@@ Property / cites work @@
+Nested Hoare Triples and Frame Rules for Higher-Order Store
+Normal rank
@@ Property / cites work @@
+Relational properties of domains
@@ Property / cites work: Relational properties of domains / rank @@
+Normal rank
@@ Property / cites work @@
+A Realizability Model for Impredicative Hoare Type Theory
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full abstraction for FPC.
@@ Property / cites work: Games and full abstraction for FPC. / rank @@
+Normal rank
@@ Property / cites work @@
+An ideal model for recursive polymorphic types
@@ Property / cites work: An ideal model for recursive polymorphic types / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank