SECTION:  Computer Scienc.../ Software/ Functional programming and lambda calculus/