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:
0 Answers | Be the first to answer
Join to answer this question
Join a community of thousands of dedicated teachers and students.Join eNotes