Inductive Families (1997)

Cached

Download Links

by Peter Dybjer
Venue:Formal Aspects of Computing
Citations:66 - 13 self