Plotkin, Gordon "LCF considered as a programming language"

Theoret. (1977) Theoret. Comput. Sci., 5(3) December 1977  

Languages mentioned LCF {1972} Logic for Computable Functions PCF {1977}