Multilevel functions in martin-Lof's type theory (0)

by Bengt Nordstrom
Venue:In Ganzinger and Jones [15