Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329): Difference between revisions

@@ Property / cites work @@
+Formal parametric polymorphism
@@ Property / cites work: Formal parametric polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+A relationally parametric model of dependent type theory
+Normal rank
@@ Property / cites work @@
+Introduction to generalized type systems
@@ Property / cites work: Introduction to generalized type systems / rank @@
+Normal rank
@@ Property / cites work @@
+A presheaf model of parametric type theory
@@ Property / cites work: A presheaf model of parametric type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs for free
@@ Property / cites work: Proofs for free / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical models for Abadi and Plotkin's logic for parametricity
+Normal rank
@@ Property / cites work @@
+Bifibrational functorial semantics of parametric polymorphism
+Normal rank
@@ Property / cites work @@
+Parametric Polymorphism — Universally
@@ Property / cites work: Parametric Polymorphism — Universally / rank @@
+Normal rank
@@ Property / cites work @@
+Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
+Normal rank
@@ Property / cites work @@
+Comprehension categories and the semantics of type dependency
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364388
@@ Property / cites work: Q4364388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958537
@@ Property / cites work: Q2958537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity and local variables
@@ Property / cites work: Parametricity and local variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281485
@@ Property / cites work: Q4281485 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical semantics for higher order polymorphic lambda calculus
+Normal rank
@@ Property / cites work @@
+Fundamental concepts in programming languages
@@ Property / cites work: Fundamental concepts in programming languages / rank @@
+Normal rank