# Lambda calculus expression reduction

I don't know the correct answer how this reduction should've be done. Should I simply put λfx.fx in a place of m and λzy.zzy in a place of n?

(λmnfx.mf(nfx) λfx.fx λzy.zzy)

• You're on the right track. Pay special attention to the names of the variables as there is another reduction which must be performed before you can apply terms. – c.w.chambers Jun 22 '14 at 13:57
• (λfx.f(f(fx))) I've figured answer like that, is that correct? Please praise my effort with correct answer or solution because I'am dying out of this lambda :( – Sheil Jun 22 '14 at 15:50