A Verified Typechecker (1995)

View PDF

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:12 - 2 self