Inductive Families (1997)

by Peter Dybjer
Venue:Formal Aspects of Computing