Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747): Difference between revisions

@@ Property / cites work @@
+State-dependent representation independence
@@ Property / cites work: State-dependent representation independence / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion over realizability structures
@@ Property / cites work: Recursion over realizability structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Realisability semantics of parametric polymorphism, general references and recursive types
+Normal rank
@@ Property / cites work @@
+Relational Reasoning for Recursive Types and References
+Normal rank
@@ Property / cites work @@
+Syntactic Logical Relations for Polymorphic and Recursive Types
+Normal rank
@@ Property / cites work @@
+Call-by-push-value: Decomposing call-by-value and call-by-name
+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 @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+A Realizability Model for Impredicative Hoare Type Theory
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational properties of domains
@@ Property / cites work: Relational properties of domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851544
@@ Property / cites work: Q2851544 / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of generalized ultrametric domain theory
@@ Property / cites work: Elements of generalized ultrametric domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank