Positive Inductive-Recursive Definitions

DOI10.1007/978-3-642-40206-7_3zbMath1395.68189OpenAlexW2901304827MaRDI QIDQ2848936

Fredrik Nordvall Forsberg, Neil Ghani, Lorenzo Malatesta

Publication date: 13 September 2013

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://strathprints.strath.ac.uk/52999/

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (5)

Finitary higher inductive types in the groupoid model ⋮ Unnamed Item ⋮ Indexed containers ⋮ Constructing a universe for the setoid model ⋮ For Finitary Induction-Induction, Induction is Enough

This page was built for publication: Positive Inductive-Recursive Definitions