A categorical semantics for inductive-inductive definitions (2011)

by Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer
Venue:Algebra and Coalgebra in Computer Science