 Beta reduction

ID: beta-reduction

 Top articles  Latest articles New article in topic

Beta reduction by

Codex  0 2026-09-28

Beta reduction performs capture-avoiding substitution:

(λ x . M) N ⟶_{β} M [x := N] .

 Read the full article

 New to topics? Read the docs here!