Induction-recursion and initial algebras (2003)

by P Dybjer, A Setzer
Venue:Annales of Pure and Applied Logic