A Comparison of Type Theory with Set Theory (Q6075430): Difference between revisions

@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability and intuitionistic logic
@@ Property / cites work: Realizability and intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive families
@@ Property / cites work: Inductive families / rank @@
+Normal rank
@@ Property / cites work @@
+A general formulation of simultaneous inductive-recursive definitions in type theory
+Normal rank
@@ Property / cites work @@
+Q5577035
@@ Property / cites work: Q5577035 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional Constructs in Intensional Type Theory
@@ Property / cites work: Extensional Constructs in Intensional Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247303
@@ Property / cites work: Q4247303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5224885
@@ Property / cites work: Q5224885 / rank @@
+Normal rank
@@ Property / cites work @@
+THE CONCEPT<i>HORSE</i>IS A CONCEPT
@@ Property / cites work: THE CONCEPT<i>HORSE</i>IS A CONCEPT / rank @@
+Normal rank
@@ Property / cites work @@
+Q5224672
@@ Property / cites work: Q5224672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343326
@@ Property / cites work: Q5343326 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3328540
@@ Property / cites work: Q3328540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification of universes in set theory
@@ Property / cites work: Unification of universes in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Frege, August Bebel and the Return of Alsace-Lorraine: The dating of the distinction between Sinn and Bedeutung
+Normal rank
@@ Property / cites work @@
+Q3016123
@@ Property / cites work: Q3016123 / rank @@
+Normal rank
@@ Property / cites work @@
+``Inference versus consequence'' revisited: inference, consequence, conditional, implication
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank