LCF Considered as a Programming Language (1977)

by G D Plotkin
Venue:Theoretical Computer Science