On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi.

Gerd G. Hillebrand, Paris C. Kanellakis

Browse the full LICS paper archive.