Böhm's theorem: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

6 November 2024

5 November 2024

  • curprev 17:4217:42, 5 November 2024‎ DeltaDelta talk contribs‎ 1,194 bytes +1,194‎ Created page with "'''Böhm's separation theorem''', or simply '''Böhm's theorem''', is one of fundamental theorems of the λ-calculus, proved by Corrado Böhm in 1968. It expresses the fact that two η-distinct β-normal forms (two {{Quotes|results}}) correspond to different denotations (or {{Quotes|meanings}}) in any consistent model. Its proof is striking because it consists in separating any η-distinct β-normal λ-terms: * ''internally'': the terms are separated inside the dyn..." Tag: Visual edit
Retrieved from "https://www.lambda-lab.org/wiki/Böhm%27s_theorem"