Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) (Q2888481): Difference between revisions

@@ Property / cites work @@
+Containers: Constructing strictly positive types
@@ Property / cites work: Containers: Constructing strictly positive types / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed containers
@@ Property / cites work: Indexed containers / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Q3137150
@@ Property / cites work: Q3137150 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3784044
@@ Property / cites work: Q3784044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753682
@@ Property / cites work: Q2753682 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718566
@@ Property / cites work: Q5718566 / rank @@
+Normal rank
@@ Property / cites work @@
+The view from the left
@@ Property / cites work: The view from the left / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849882
@@ Property / cites work: Q2849882 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457304
@@ Property / cites work: Q5457304 / rank @@
+Normal rank