3 ms·An introduction to functional programming through lambda calculus (1988) [pdf]1 points by abhi9u 3y ago