Inductively defined types (1988)

by Thierry Coquand, Christine Paulin
Venue:In COLOG88