Introduction to the Lambda Calculus - BU Computer Science · Introduction to the Lambda Calculus1...
7
Introduction to the Lambda Calculus 1 1 This document consists entirely of screenshots from the Wikipedia article on the lambda calculus.
Transcript of Introduction to the Lambda Calculus - BU Computer Science · Introduction to the Lambda Calculus1...
Introduction to the Lambda Calculus1
1 This document consists entirely of screenshots from the Wikipedia article on the lambda calculus.
Note that 𝜆𝑥.𝑡 is exactly equivalent to the Haskell syntax \x -> t .