Inductive families (1994)

by P Dybjer
Venue:Form. Asp. Comput