Title: Semantics and pragmatics of the lamda-calculus
First published: 1971