Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
λo.λp.(o λq.λr.r) λa.b ---------------- b = λc.((d λe.f) & (a λg.f)) f = λh.((e i) & (g i)) i = (((j k) & (l k)) m) m = λn.λo.o l = λp.λq.(p λr.λs.s) k = λt.λt.b λa.b ---------------- b = λc.((d λe.f) & (a λg.f)) f = λh.((e i) & (g i)) i = (((j k) l) & ((m k) l)) m = λn.λo.(n λp.λq.q) l = r r =