CODEWITHSUNDEEP
lambda-calculusy-combinator
Valerie Berger
Valerie Berger

Reputation: 11

Beta Reduction steps on Y combinator

I am new to studying Lambda Calculus as part of my CompSci degree. In the course material (this is not a graded assignment no worries!) the following beta reduction came up:

𝜆𝑓.𝑊𝑊 →𝛽 𝜆𝑓.𝑓(𝑊𝑊) →𝛽 𝜆𝑓.𝑓(𝑓(𝑊𝑊)) →𝛽 𝜆𝑓.𝑓(𝑓(𝑓(𝑊𝑊)))

I am slightly confused as I didn't think we could just add something in a beta reduction step. Anyone can explain this a little to me or give me hints on why this behaves that way? Any help is appreciated. Thank you!

Upvotes: 1

Views: 116

Answers (0)

Related Questions