Mendler-Style Inductive Types, Categorically (1999)

by Tarmo Uustalu , Varmo Vene
Venue:NORDIC JOURNAL OF COMPUTING 6(1999), 343 361
Citations:8 - 4 self