Inductively defined types—preliminary version (1988)

by T Coquand, C Paulin
Venue:Proceedings of COLOG ’88 , vol. 417 of LNCS