Typability is undecidable for F+eta (1995)

by J. B. Wells
Citations:9 - 6 self

Document Versions

Typability is undecidable for F+eta –J. B. Wells — 1995
Typability is Undecidable for F+Eta –J. B. Wells — 1996