Lambda-Calculus Models of Programming (1968)

by J H Morris
Venue:Languages , Massachusetts Institute of Technology, MAC-TR-57