A presheaf model of parametric type theory (Q5971392): Difference between revisions

@@ Property / cites work @@
+Q4944846
@@ Property / cites work: Q4944846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5371043
@@ Property / cites work: Q5371043 / rank @@
+Normal rank
@@ Property / cites work @@
+A relationally parametric model of dependent type theory
+Normal rank
@@ Property / cites work @@
+Realizability and Parametricity in Pure Type Systems
+Normal rank
@@ Property / cites work @@
+A Computational Interpretation of Parametricity
@@ Property / cites work: A Computational Interpretation of Parametricity / rank @@
+Normal rank
@@ Property / cites work @@
+Type-theory in color
@@ Property / cites work: Type-theory in color / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity and dependent types
@@ Property / cites work: Parametricity and dependent types / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs for free
@@ Property / cites work: Proofs for free / rank @@
+Normal rank
@@ Property / cites work @@
+Q2968413
@@ Property / cites work: Q2968413 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric higher-order abstract syntax for mechanized semantics
+Normal rank
@@ Property / cites work @@
+Q4225149
@@ Property / cites work: Q4225149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958537
@@ Property / cites work: Q2958537 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Nameless, painless
@@ Property / cites work: Nameless, painless / rank @@
+Normal rank