Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
a superposed application of (f0 & f1) to (x0 & x1). So, what happens when we apply two superposed functions to a single argument? Right: we get a superposed application of each function to two copies of the argument! Makes sense, no? Sobreposed application: ((f0 & f1) x) ~> f0 K & f1 K <~ K = x