Ancestors (8)
- Beta reduction
- Untyped lambda calculus
- Lambda calculus
- Computability theory
- Foundations of mathematics
- Area of mathematics
- Mathematics
- Home
Incoming links (15)
- Head normal form
- Normal-order beta reduction
- Normal-order normalization theorem
- Normal-order reduction
- Past exam of the computer science course of the University of Oxford / 2015 / Lambda calculus and types / 1 / b / Solution
- Past exam of the computer science course of the University of Oxford / 2015 / Lambda calculus and types / 2 / d / Solution
- Past exam of the mathematics course of the University of Cambridge / 2002 / iii / Paper 76 / 5 / iv / Solution
- Past exam of the mathematics course of the University of Cambridge / 2007 / iii / Paper 87 / 1 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 25 / 4 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 135 / 3 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 120 / 2 / c / Solution
- Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 120 / 2 / d / Solution
- Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 120 / 2 / e / Solution
- Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 120 / 2 / f / Solution
- Standardization theorem for beta reduction
Discussion (0) New discussion
There are no discussions about this article yet.
Articles by others on the same topic (0)
There are currently no matching articles.