Towards an induction principle for nested data types

DOI10.1007/978-3-031-39784-4_15arXiv2306.10124OpenAlexW4386229959MaRDI QIDQ6199585

Peng Fu, Peter Selinger

Publication date: 28 February 2024

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2306.10124

zbMATH Keywords

dependent typesfoldsinduction principlesnested data types

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Generalised folds for nested datatypes
• Finger trees: a simple general-purpose data structure
• Initial Algebra Semantics Is Enough!
• de Bruijn notation as a nested datatype

This page was built for publication: Towards an induction principle for nested data types