introduction to the lambda calculus - bu computer science · introduction to the lambda calculus1...
TRANSCRIPT
![Page 1: Introduction to the Lambda Calculus - BU Computer Science · Introduction to the Lambda Calculus1 ... In lambda calculus, functions are taken to be 'first class values', so functions](https://reader030.vdocument.in/reader030/viewer/2022040412/5edc9b6cad6a402d666757b4/html5/thumbnails/1.jpg)
Introduction to the Lambda Calculus1
1 This document consists entirely of screenshots from the Wikipedia article on the lambda calculus.
![Page 2: Introduction to the Lambda Calculus - BU Computer Science · Introduction to the Lambda Calculus1 ... In lambda calculus, functions are taken to be 'first class values', so functions](https://reader030.vdocument.in/reader030/viewer/2022040412/5edc9b6cad6a402d666757b4/html5/thumbnails/2.jpg)
Note that 𝜆𝑥.𝑡 is exactly equivalent to the Haskell syntax \x -> t .
![Page 3: Introduction to the Lambda Calculus - BU Computer Science · Introduction to the Lambda Calculus1 ... In lambda calculus, functions are taken to be 'first class values', so functions](https://reader030.vdocument.in/reader030/viewer/2022040412/5edc9b6cad6a402d666757b4/html5/thumbnails/3.jpg)
![Page 4: Introduction to the Lambda Calculus - BU Computer Science · Introduction to the Lambda Calculus1 ... In lambda calculus, functions are taken to be 'first class values', so functions](https://reader030.vdocument.in/reader030/viewer/2022040412/5edc9b6cad6a402d666757b4/html5/thumbnails/4.jpg)
![Page 5: Introduction to the Lambda Calculus - BU Computer Science · Introduction to the Lambda Calculus1 ... In lambda calculus, functions are taken to be 'first class values', so functions](https://reader030.vdocument.in/reader030/viewer/2022040412/5edc9b6cad6a402d666757b4/html5/thumbnails/5.jpg)
![Page 6: Introduction to the Lambda Calculus - BU Computer Science · Introduction to the Lambda Calculus1 ... In lambda calculus, functions are taken to be 'first class values', so functions](https://reader030.vdocument.in/reader030/viewer/2022040412/5edc9b6cad6a402d666757b4/html5/thumbnails/6.jpg)
![Page 7: Introduction to the Lambda Calculus - BU Computer Science · Introduction to the Lambda Calculus1 ... In lambda calculus, functions are taken to be 'first class values', so functions](https://reader030.vdocument.in/reader030/viewer/2022040412/5edc9b6cad6a402d666757b4/html5/thumbnails/7.jpg)