lambda calculus.

adelenoinwinderland
 (Not rated)
 (Not rated)
Chat
Home>Homework Answsers>Computer Science homework help

  

lambda calculus.

Using beta reduction to reduce the following labmda expressions:

1.

((λf.((λg.((f f)g))(λh.(k h))))(λx.(λy.y)))

2. 

 ((((λf.(λg.(λx.((fx)(g x)))))(λm.(λn.(n m))))(λn.z))p) 

    • 9 years ago
    Report issue
    the answer to lambda calculus
    NOT RATED

    Purchase the answer to view it

    • answer.docx