Modeling Martin-Löf type theory in categories (Q280835): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2013.08.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1971619141
@@ Property / OpenAlex ID: W1971619141 / rank @@
+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 @@
+Types are weak <i>ω</i> -groupoids
@@ Property / cites work: Types are weak <i>ω</i> -groupoids / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized algebraic theories and contextual categories
+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 @@
+Topological and Simplicial Models of Identity Types
+Normal rank
@@ Property / cites work @@
+Q4474857
@@ Property / cites work: Q4474857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247303
@@ Property / cites work: Q4247303 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842967
@@ Property / cites work: Q4842967 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank
@@ Property / cites work @@
+Q2753183
@@ Property / cites work: Q2753183 / rank @@
+Normal rank
@@ Property / cites work @@
+A model of type theory in simplicial sets. A brief introduction to Voevodsky's homotopy type theory
+Normal rank