Typability is undecidable for F+eta (1995)

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