Introduction to Functional Programming Through Lambda Calculusby Greg MichaelsonWriting a summary for young readers…For young readersBook data: Open Library