Translating dependent type theory into higher order logic (0)

by B Jacobs, T Melham
Venue:In Bezem and Groote [ 1993