Inductive families (1994)

by P Dybjer
Venue:Formal Asp. Comput