Mendler-Style Inductive Types, Categorically (Extended Abstract) (1998)

by Tarmo Uustalu , Varmo Vene