A Verified Typechecker (1995)

Cached

Download Links

by Robert Pollack
Venue:PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON TYPED LAMBDA CALCULI AND APPLICATIONS, VOLUME 902 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:13 - 2 self