Inductive types and exact completion (Q556819): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2004.09.003
@@ Property / DOI: 10.1016/j.apal.2004.09.003 / rank @@
-Normal rank
@@ 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.1016/j.apal.2004.09.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2068946935
@@ Property / OpenAlex ID: W2068946935 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive models for constructive set theories
@@ Property / cites work: Recursive models for constructive set theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936141
@@ Property / cites work: Q4936141 / rank @@
+Normal rank
@@ Property / cites work @@
+Some free constructions in realizability and proof theory
+Normal rank
@@ Property / cites work @@
+Q4740070
@@ Property / cites work: Q4740070 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed exact completions
@@ Property / cites work: Locally cartesian closed exact completions / rank @@
+Normal rank
@@ Property / cites work @@
+A presentation of the initial lift-algebra
@@ Property / cites work: A presentation of the initial lift-algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Cocomplete toposes whose exact completions are toposes
+Normal rank
@@ Property / cites work @@
+Wellfounded trees in categories
@@ Property / cites work: Wellfounded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, toposes and constructive set theory: Predicative aspects of AST
+Normal rank
@@ Property / cites work @@
+The extended calculus of constructions (ECC) with inductive types
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2004.09.003
@@ Property / DOI: 10.1016/J.APAL.2004.09.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:556819