Functional programming & lambda calculus - Ricci, Raven; Bell, Alia (New York College Publishing House, 2012)
Keywords: Functional programming (Computer science); Lambda calculus