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

Cached

Download Links

by J. B. Wells
Venue:Annals of Pure and Applied Logic
Citations:58 - 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