Concepts of Programming Languages: lecture 3/12, part 3/3
Channel: Hans-Dieter Hiep
Date: 18/09/2021

Church (1941):
https://archive.org/details/AnnalsOfMathematicalStudies6ChurchAlonzoTheCalculiOfLambdaConversionPrincetonUniversityPress1941/page/n17/mode/2up

Please feel free to give comments to this video to provide immediate feedback.