Inductive Families (1997)

Cached

Download Links

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