The Curry-Howard isomorphismby Philippe De GrooteLambda calculusType theoryProof theoryCurry-Howard isomorphismWriting a summary for young readers…For young readersBook data: Open Library