Variations on inductive-recursive definitions
From MaRDI portal
Publication:5111280
Recommendations
- Iterated inductive definitions revisited
- On systems of definitions, induction and recursion
- On the complexity of inductive definitions
- Recursive definitions and fixed-points
- Positive inductive-recursive definitions
- Positive inductive-recursive definitions
- scientific article; zbMATH DE number 3035996
- A note on multiple inductive definitions
- Non-deterministic inductive definitions
- scientific article; zbMATH DE number 922631
Cites work
- scientific article; zbMATH DE number 3910392 (Why is no real title available?)
- scientific article; zbMATH DE number 3521950 (Why is no real title available?)
- scientific article; zbMATH DE number 1342277 (Why is no real title available?)
- A general formulation of simultaneous inductive-recursive definitions in type theory
- Containers, monads and induction recursion
- Containers: Constructing strictly positive types
- Dependently typed records in type theory
- Indexed containers
- Indexed induction-recursion
- Induction-recursion and initial algebras.
- Inductive families
- Polynomial functors and polynomial monads
- The gentle art of levitation
- Types for Proofs and Programs
Cited in
(3)
This page was built for publication: Variations on inductive-recursive definitions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111280)
