Q5089034 (Q5089034): Difference between revisions

@@ Property / author @@
-Carlo Angiuli
@@ Property / author: Carlo Angiuli / rank @@
-Normal rank
@@ Property / author @@
+Carlo Angiuli
@@ Property / author: Carlo Angiuli / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory
+Normal rank
@@ Property / cites work @@
+Type theory in type theory using quotient inductive types
+Normal rank
@@ Property / cites work @@
+Cartesian cubical computational type theory: Constructive reasoning with paths and equalities
+Normal rank
@@ Property / cites work @@
+Syntax and Semantics of Quantitative Type Theory
@@ Property / cites work: Syntax and Semantics of Quantitative Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A cubical model of homotopy type theory
@@ Property / cites work: A cubical model of homotopy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as [Types]
@@ Property / cites work: Propositions as [Types] / rank @@
+Normal rank
@@ Property / cites work @@
+Q5591514
@@ Property / cites work: Q5591514 / rank @@
+Normal rank
@@ Property / cites work @@
+Words, free algebras, and coequalizers
@@ Property / cites work: Words, free algebras, and coequalizers / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized algebraic theories and contextual categories
+Normal rank
@@ Property / cites work @@
+Q4596801
@@ Property / cites work: Q4596801 / rank @@
+Normal rank
@@ Property / cites work @@
+On Higher Inductive Types in Cubical Type Theory
@@ Property / cites work: On Higher Inductive Types in Cubical Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Internal type theory
@@ Property / cites work: Internal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Small Induction Recursion
@@ Property / cites work: Small Induction Recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247303
@@ Property / cites work: Q4247303 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonicity for cubical type theory
@@ Property / cites work: Canonicity for cubical type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281477
@@ Property / cites work: Q4281477 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher Topos Theory (AM-170)
@@ Property / cites work: Higher Topos Theory (AM-170) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3886868
@@ Property / cites work: Q3886868 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Wellfounded trees in categories
@@ Property / cites work: Wellfounded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Univalence for inverse diagrams and homotopy canonicity
+Normal rank
@@ Property / cites work @@
+Q5286647
@@ Property / cites work: Q5286647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4243759
@@ Property / cites work: Q4243759 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank