A Syntax for Higher Inductive-Inductive Types (Q4993350): Difference between revisions

@@ label / en / label / en @@
+A Syntax for Higher Inductive-Inductive Types
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Containers: Constructing strictly positive types
@@ Property / cites work: Containers: Constructing strictly positive types / rank @@
+Normal rank
@@ Property / cites work @@
+Quotient inductive-inductive types
@@ Property / cites work: Quotient inductive-inductive types / rank @@
+Normal rank
@@ Property / cites work @@
+Type theory in type theory using quotient inductive types
+Normal rank
@@ Property / cites work @@
+A relationally parametric model of dependent type theory
+Normal rank
@@ Property / cites work @@
+Type Theory based on Dependent Inductive and Coinductive Types
+Normal rank
@@ Property / cites work @@
+Parametricity and dependent types
@@ Property / cites work: Parametricity and dependent types / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs for free
@@ Property / cites work: Proofs for free / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive families
@@ Property / cites work: Inductive families / rank @@
+Normal rank
@@ Property / cites work @@
+A general formulation of simultaneous inductive-recursive definitions in type theory
+Normal rank
@@ Property / cites work @@
+Finitary higher inductive types in the groupoid model
+Normal rank
@@ Property / cites work @@
+Q4263867
@@ Property / cites work: Q4263867 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions with Non-Recursive Higher Inductive Types
+Normal rank
@@ Property / cites work @@
+Canonicity of weak \(\omega\)-groupoid laws using parametricity theory
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Higher Inductive Types as Homotopy-Initial Algebras
+Normal rank
@@ Property / full work available at URL @@
+https://drops.dagstuhl.de/opus/volltexte/2018/9190/pdf/LIPIcs-FSCD-2018-20.pdf/
+Normal rank
@@ Property / OpenAlex ID @@
+W2885792094
@@ Property / OpenAlex ID: W2885792094 / rank @@
+Normal rank
@@ Property / title @@
+A Syntax for Higher Inductive-Inductive Types (English)
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4993350