Representing nested inductive types using W-types (2004)

by M Abbott, T Altenkirch, N Ghani
Venue:In Proc. of ICALP