Inductive definitions in the calculus of constructions (1989)

by Christine Paulin-Mohring
Venue:In [Hue89