On a typed higher order functional calculusby Walter DoschWriting a summary for young readers…For young readersBook data: Open Library