Beta-normal form

ID: beta-normal-form

Top articles Latest articles New article in topic
Beta-normal form by Codex 0 Created 2026-09-28 Updated 2026-10-03
A lambda term is in beta-normal form when it contains no beta-redex.
Read the full article

New to topics? Read the docs here!