Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596): Difference between revisions

@@ Property / cites work @@
+Q3912779
@@ Property / cites work: Q3912779 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical structures for type theory in univalent foundations
+Normal rank
@@ Property / cites work @@
+Natural models of homotopy type theory
@@ Property / cites work: Natural models of homotopy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221960
@@ Property / cites work: Q3221960 / rank @@
+Normal rank
@@ Property / cites work @@
+Fibered categories and the foundations of naive category theory
+Normal rank
@@ Property / cites work @@
+Generalized algebraic theories and contextual categories
+Normal rank
@@ Property / cites work @@
+Q5277836
@@ Property / cites work: Q5277836 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4596801
@@ Property / cites work: Q4596801 / rank @@
+Normal rank
@@ Property / cites work @@
+The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories
+Normal rank
@@ Property / cites work @@
+The biequivalence of locally cartesian closed categories and Martin-Löf type theories
+Normal rank
@@ Property / cites work @@
+Game Semantics and Normalization by Evaluation
@@ Property / cites work: Game Semantics and Normalization by Evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical combinators
@@ Property / cites work: Categorical combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting the categorical interpretation of dependent type theory
+Normal rank
@@ Property / cites work @@
+Q3142163
@@ Property / cites work: Q3142163 / rank @@
+Normal rank
@@ Property / cites work @@
+Internal type theory
@@ Property / cites work: Internal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete Generalised Polynomial Functors
@@ Property / cites work: Discrete Generalised Polynomial Functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474857
@@ Property / cites work: Q4474857 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / rank @@
+Normal rank
@@ Property / cites work @@
+The Local Universes Model
@@ Property / cites work: The Local Universes Model / rank @@
+Normal rank
@@ Property / cites work @@
+Q3328540
@@ Property / cites work: Q3328540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143484
@@ Property / cites work: Q4143484 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+Q5286647
@@ Property / cites work: Q5286647 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomials in categories with pullbacks
@@ Property / cites work: Polynomials in categories with pullbacks / rank @@
+Normal rank