Title: Semantics and pragmatics of the lambda-calculus