The expressiveness of simple and second order lambda calculus (1983)

by S Fortune, D Leivant, M O'Donnell
Venue:Journal of the ACM