An introduction to functional programming through lambda calculus

Greg J. Michaelson. An introduction to functional programming through lambda calculus. International computer science series, Addison-Wesley, 1989.

Abstract

Abstract is missing.