Translating Dependent Type Theory into Higher Order Logic
Bart Jacobs and Tom Melham
Book Title
Typed Lambda Calculi and Applications: International Conference on Typed Lamda Calculi and Applications: TLCA '93: March‚ 16–18‚ 1993‚ Utrecht‚ The Netherlands: Proceedings
Editor
M. Bezem and J. F. Groote
ISBN
3−540−56517−5
Pages
209–229
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
664
Year
1993