**Simply Typed Lambda Calculus question - Beta Reduction**

**1. The problem:**

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

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

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

### 0 Answers | Be the first to answer

### Join to answer this question

Join a community of thousands of dedicated teachers and students.

Join eNotes