Inductive-Inductive Definitions
From MaRDI portal
Publication:3586059
DOI10.1007/978-3-642-15205-4_35zbMath1287.68114OpenAlexW1517671027MaRDI QIDQ3586059
Fredrik Nordvall Forsberg, Anton Setzer
Publication date: 3 September 2010
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://cronfa.swan.ac.uk/Record/cronfa43083
Related Items (9)
Finitary higher inductive types in the groupoid model ⋮ On generalized algebraic theories and categories with families ⋮ Unnamed Item ⋮ Normalization by evaluation for modal dependent type theory ⋮ Indexed containers ⋮ Interactive programming in Agda – Objects and graphical user interfaces ⋮ Intuitionistic fixed point logic ⋮ For Finitary Induction-Induction, Induction is Enough ⋮ Viewing \({\lambda}\)-terms through maps
Uses Software
This page was built for publication: Inductive-Inductive Definitions
