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

by G D Plotkin
Venue:Dept. of Computer Science, Univ. of Edinburgh