Lambda-definability and logical relations. Memorandum SAI–RM–4 (1973)

by G D Plotkin