Containers, monads and induction recursion (Q5741557): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Induction-recursion and initial algebras.
@@ Property / cites work: Induction-recursion and initial algebras. / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed induction-recursion
@@ Property / cites work: Indexed induction-recursion / rank @@
+Normal rank
@@ Property / cites work @@
+A general formulation of simultaneous inductive-recursive definitions in type theory
+Normal rank
@@ Property / cites work @@
+Inductive families
@@ Property / cites work: Inductive families / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of Agda – A Functional Language with Dependent Types
+Normal rank
@@ Property / cites work @@
+Containers: Constructing strictly positive types
@@ Property / cites work: Containers: Constructing strictly positive types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Two applications of analytic functors
@@ Property / cites work: Two applications of analytic functors / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional functions and families of types
@@ Property / cites work: Propositional functions and families of types / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129514000127
+Normal rank
@@ Property / OpenAlex ID @@
+W2035713914
@@ Property / OpenAlex ID: W2035713914 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5741557