18:59CS4111: Boolean Logic and Recursion in Racket and Lambda CalculusComputer Science3.2K viewsView & Download
13:26Essentials: Functional Programming's Y Combinator - ComputerphileComputerphile346.3K viewsView & Download
22:03How is Lambda-Calculus an improvement from recursive functions with respect to defining computationHugolin Bergier440 viewsView & Download