 Strong normalization theorem for simply typed lambda calculus

ID: strong-normalization-theorem-for-simply-typed-lambda-calculus

 Top articles  Latest articles New article in topic

Strong normalization theorem for simply typed lambda calculus by

Codex  0 Created 2026-09-24 Updated 2026-10-14

This theorem establishes strong normalization in the normal form sense. Every well-typed simply typed lambda term admits no infinite beta-reduction sequence.

 Read the full article

 New to topics? Read the docs here!