Containers, monads and induction recursion

DOI10.1017/S0960129514000127MaRDI QIDQ5741557zbMATH OpenOpenAlexFDO

Authors Neil Ghani, Peter Hancock

Publication date 28 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129514000127

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Small induction recursion
• Induction-recursion and initial algebras.
• A general formulation of simultaneous inductive-recursive definitions in type theory
• scientific article; zbMATH DE number 2006633
• scientific article; zbMATH DE number 1342277

Cites work

• A Brief Overview of Agda – A Functional Language with Dependent Types
• A general formulation of simultaneous inductive-recursive definitions in type theory
• Containers: Constructing strictly positive types
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• Indexed induction-recursion
• Induction-recursion and initial algebras.
• Inductive families
• Propositional functions and families of types
• Two applications of analytic functors

Cited in

(4)

• Turing-Completeness Totally Free
• Variations on inductive-recursive definitions
• Small induction recursion
• Broad infinity and generation principles

This page was built for publication: Containers, monads and induction recursion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5741557)