An introduction to functional programming through Lambda calculusby Greg MichaelsonFunctional programming (Computer science)Lambda calculusWriting a summary for young readers…For young readersBook data: Open Library
