The undecidability oftypability in the pp. 139{145. -calculus (0)

by G Dowek
Venue:In TLCA [TLCA93