Two-dimensional models of type theory (Q3395310): Difference between revisions

@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+The identity type weak factorisation system
@@ Property / cites work: The identity type weak factorisation system / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy limits for 2-categories
@@ Property / cites work: Homotopy limits for 2-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Some properties of Fib as a fibred \(2\)-category
@@ Property / cites work: Some properties of Fib as a fibred \(2\)-category / rank @@
+Normal rank
@@ Property / cites work @@
+Telescopic mappings in typed lambda calculus
@@ Property / cites work: Telescopic mappings in typed lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of dependent products in the type theory of Martin-Löf
+Normal rank
@@ Property / cites work @@
+Generalized algebraic theories and contextual categories
+Normal rank
@@ Property / cites work @@
+Constructions of factorization systems in categories
+Normal rank
@@ Property / cites work @@
+Comprehension categories and the semantics of type dependency
+Normal rank
@@ Property / cites work @@
+Homotopy theoretic models of identity types
@@ Property / cites work: Homotopy theoretic models of identity types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4243759
@@ Property / cites work: Q4243759 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Some algebraic problems in the context of functorial semantics of algebraic theories
+Normal rank
@@ Property / cites work @@
+Elementary observations on 2-categorical limits
@@ Property / cites work: Elementary observations on 2-categorical limits / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank