LCF considered as a programming language. Theoretical Computer Science, 5:223–255 (1977)

by G D Plotkin
Venue:Essays in Combinatory Logic, lambda calculus and Formalisms