Proof-Relevant Parametricity (Q3188282): Difference between revisions

@@ Property / cites work @@
+Relational Parametricity for Higher Kinds
@@ Property / cites work: Relational Parametricity for Higher Kinds / rank @@
+Normal rank
@@ Property / cites work @@
+A relationally parametric model of dependent type theory
+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 @@
+Q2968413
@@ Property / cites work: Q2968413 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebra of cubes
@@ Property / cites work: On the algebra of cubes / rank @@
+Normal rank
@@ Property / cites work @@
+Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional models of type theory
@@ Property / cites work: Two-dimensional models of type theory / rank @@
+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 @@
+Q5193042
@@ Property / cites work: Q5193042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958537
@@ Property / cites work: Q2958537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity and local variables
@@ Property / cites work: Parametricity and local variables / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental concepts in programming languages
@@ Property / cites work: Fundamental concepts in programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+The Girard-Reynolds isomorphism (second edition)
@@ Property / cites work: The Girard-Reynolds isomorphism (second edition) / rank @@
+Normal rank