Lambda-De nability and Logical Relations. Memorandum, no (1973)

by G D Plotkin