LCF considered as a programming language (1977)

by G D Plotkin
Venue:Theoret. Comput. Sci