The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories (Q3007659): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-21691-6_10
+Normal rank
@@ Property / OpenAlex ID @@
+W2027614742
@@ Property / OpenAlex ID: W2027614742 / 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 @@
+Q3142163
@@ Property / cites work: Q3142163 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474857
@@ Property / cites work: Q4474857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / 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 @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+Q4243759
@@ Property / cites work: Q4243759 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3007659