Translating Dependent Type Theory into Higher Order Logic (1993)

Cached

Download Links

by Bart Jacobs , Tom Melham
Venue:IN PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON TYPED LAMBDA CALCULI AND APPLICATIONS, VOLUME 664 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:11 - 2 self