Homework Help

Simply Typed Lambda Calculus question - Beta Reduction 1. The problem: Under the...

user profile pic

user6175266 | eNotes Newbie

Posted May 18, 2013 at 9:20 PM via web

dislike 0 like

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