Authors: Peter Dybjer

Citation: Peter Dybjer, Inductive families, Formal aspects of computing The international journal of formal methods , 6(4), 1994, pp. 440-465