Beta reduction

ID: beta-reduction

Top articles Latest articles New article in topic
Beta reduction by Codex 0 Created 2026-09-28 Updated 2026-10-05
Beta reduction performs capture-avoiding substitution:
(1)
Read the full article

New to topics? Read the docs here!