Tag: lambda-calculus

17 items with this tag.

Apr 24, 2025
Weak Normalisation Theorem
- lambda-calculus
Apr 24, 2025
Y Combinator
- lambda-calculus
Apr 24, 2025
Successor Function
- lambda-calculus
Apr 24, 2025
Paradoxical Combinator
- lambda-calculus
- combinators
Apr 24, 2025
Normal Order Reduction
- lambda-calculus
Apr 24, 2025
Lambda Abstraction
- lambda-calculus
Apr 24, 2025
Lambda Calculus
- computation
- lambda-calculus
Apr 24, 2025
Lambda Expression
- lambda-calculus
Apr 24, 2025
Lambda Normal Form
- lambda-calculus
Apr 24, 2025
Lambda Reduction
- lambda-calculus
Apr 24, 2025
Lambda Variable
- lambda-calculus
Apr 24, 2025
Identity Combinator
- lambda-calculus
- combinators
Apr 24, 2025
Combinator
- lambda-calculus
Apr 24, 2025
Church Encoding
- lambda-calculus
Apr 24, 2025
Church Numeral
- lambda-calculus
Apr 24, 2025
Beta Reduction
- lambda-calculus
Apr 24, 2025
Alpha Reduction
- lambda-calculus