lambda calculus.
(Not rated)
(Not rated)
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
the answer to lambda calculus
NOT RATED
Purchase the answer to view it
answer.docx
