Computing with Equations
arXiv:1008.1131
Abstract
The intention of these notes is to give a mathematical account of how I believe students could be taught to think about functional programming languages and to explain how such languages work.
240 pages