https://learnxinyminutes.com/docs/lambda-calculus/
https://github.com/sgillespie/lambda-calculus/blob/master/doc/lambda-calculus.md
AN INTRODUCTION TO FUNCTIONAL PROGRAMMING THROUGH LAMBDA CALCULUS
https://www.macs.hw.ac.uk/~greg/books/gjm.lambook88.pdf