Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
term) ----------------------------- lambda copy term = (f0 & f1) (x0 & x1) λt. t (λf0. λx0. term) (λf1. λx1. term) --------------------------------------- superposed application K = x0 & x1 term = f0 K & f1 K λt. t (λf0. λx0. term) (λf1. λx1. term) --------------------------------------- superposed