Induction-recursion and initial algebras (2003)

by Peter Dybjer , Anton Setzer
Venue:Annals of Pure and Applied Logic
Citations:29 - 11 self