Lambda Calculus Calculator
Input
Examples:
-- Select an Example --
Identity (I)
Identity (l z. z) applied to a
Omega (non-normalizing)
K combinator
K applied to a and b
PLUS 2 3 (Church Numerals)
MULT 2 3
AND TRUE FALSE
NOT TRUE
Successor of 0
S K I (K I S) combinator chain
S K I expanded
MULT (ADD 2 3) (POW 2 3)
Y combinator factorial
PLUS 2 3 expanded
MULT 2 3 expanded
AND TRUE FALSE expanded
CONS applied to NIL
SUCC 0 expanded
Y combinator for PRED
S (S K I) K
Self-application with parameters
Complex abstraction chain
S combinator with K I
S K (S K I)
MULT (MULT 2 3) 2
POW (MULT 2 3) 2
IF (ISZERO 0) 1 0
Triple self-application omega
Complex combinator chain with 3 args
Nested arithmetic operations
Y combinator factorial of 4
Y combinator sum of 1-5
Pairs with computed values
List operations with Church numerals
Nested even/odd checker
3 * (2 * 3) expanded
S (S K I) (S K I) applied
Y combinator multiplication via addition
Church numeral predecessor
4 - 2 expanded
Y combinator predecessor of 3
Y combinator double factorial
Expand
Compute
Expand & Compute
Expanded Form:
Result
Reduction Steps: