Proofs for free (Q2844694): Difference between revisions

@@ Property / cites work @@
+The Girard-Reynolds isomorphism (second edition)
@@ Property / cites work: The Girard-Reynolds isomorphism (second edition) / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity, type equality, and higher-order polymorphism
+Normal rank
@@ Property / cites work @@
+The view from the left
@@ Property / cites work: The view from the left / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of typed \(\Lambda\)-programs on term algebras
+Normal rank
@@ Property / cites work @@
+Inductive families
@@ Property / cites work: Inductive families / rank @@
+Normal rank
@@ Property / cites work @@
+Free theorems involving type constructor classes
@@ Property / cites work: Free theorems involving type constructor classes / rank @@
+Normal rank
@@ Property / cites work @@
+Nameless, painless
@@ Property / cites work: Nameless, painless / rank @@
+Normal rank