A Categorical Semantics for Inductive-Inductive Definitions
From MaRDI portal
Publication:3090862
DOI10.1007/978-3-642-22944-2_6zbMath1344.68143OpenAlexW1844544548WikidataQ61583756 ScholiaQ61583756MaRDI QIDQ3090862
Thorsten Altenkirch, Peter A. Morris, Fredrik Nordvall Forsberg, Anton Setzer
Publication date: 2 September 2011
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://cronfa.swan.ac.uk/Record/cronfa7505/Download/0007505-18052015005827.pdf
Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (7)
Bicategories in univalent foundations ⋮ From realizability to induction via dependent intersection ⋮ On the category of \(L\)-fuzzy automata, coalgebras and dialgebras ⋮ Unnamed Item ⋮ Indexed containers ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication: A Categorical Semantics for Inductive-Inductive Definitions
