Inductive families (1994)

by P Dybjer
Venue:Formal Aspects of Computing