Typability and Type Checking in System F Are Equivalent and Undecidable (1998)
by
J. B. Wells
| Venue: | Annals of Pure and Applied Logic |
| Citations: | 51 - 4 self |
Document Versions
| Typability and Type Checking in System F Are Equivalent and Undecidable –J. B. Wells — 1998 — Annals of Pure and Applied Logic |
