On the strength of dependent products in the type theory of Martin-Löf (Q1024547): Difference between revisions

@@ Property / cites work @@
+Two-dimensional models of type theory
@@ Property / cites work: Two-dimensional models of type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Conservativity of equality reflection over intensional type theory
+Normal rank
@@ Property / cites work @@
+Q4225149
@@ Property / cites work: Q4225149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247303
@@ Property / cites work: Q4247303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247306
@@ Property / cites work: Q4247306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank