A theory of bisimulation for the (lambda)-calculusby Davide SangiorgiLambda calculusWriting a summary for young readers…For young readersBook data: Open Library