lambda calculus and functional programming 1995739