This repo constains some texts about lambda calculus and the texts are presented on the web page Lambda-Calculus