On the expressive power of simply typed and let-polymorphic lambda calculi (1996)

by Gerd G Hillebrand, Paris C Kanellakis
Venue:In Proceedings of 11th LICS