Lambda-definability and logical relations (1973)

by G D Plotkin