The undecidability of typability in the \Pi-calculus (0)

by G Dowek
Venue:In TLCA [TLCA93