Simply Typed Lambda Calculus question - Beta Reduction

Join the discussion

Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.

Real named experts · corrections over time · the nuance an AI answer skips

1 reply · 2K views

semiflex

Homework Statement

Under the assumption that BETA is a closed term show that (λx.α)(β) and α[x→β] are logically equivalent.

I'm sure I have to use β-reduction but I'm not sure how in this case:

⊢(λx.x)(β→α[x→β]

Physics news on Phys.org

verty

What does α[x→β] mean?