Typability and Type Checking in System F Are Equivalent and Undecidable (1998)

View PDF

Download Links

by J. B. Wells
Venue:ANNALS OF PURE AND APPLIED LOGIC
Citations:66 - 4 self