Lambda definability and logical relations (1973)

by G D Plotkin