Inductive De in Type Theory (1987)

by Paul Francis Mendler
Venue:Cornell University