Ancestors (7)
- Church encoding
- Lambda calculus
- Computability theory
- Foundations of mathematics
- Area of mathematics
- Mathematics
- Home
Incoming links (14)
- Böhm separation theorem
- Church encoding
- Church numeral zero test
- Church pair
- Normal-order beta reduction
- Past exam of the mathematics course of the University of Cambridge / 2002 / iii / Paper 76 / 3 / i / Solution
- Past exam of the mathematics course of the University of Cambridge / 2002 / iii / Paper 76 / 6 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 20 / 4 / 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 / 2016 / iii / Paper 120 / 6 / Solution
- Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 135 / 6 / 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 / 2026 / iii / Paper 120 / 3 / d / Solution
- Undecidability of beta equivalence
Discussion (0)
New discussionThere are no discussions about this article yet.
Articles by others on the same topic (0)
There are currently no matching articles.