Inductive Families. Formal Aspects of Computing 6(4 (0)

by P Dybjer