Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
superposed application K = x0 & x1 term = f0 K & f1 K λt. t (λf0. λx0. term) (λf1. λf1. term) Now we’re stuck with two superposed copies. How do we copy two superposed values? There are two reasonable answers: either we copy the superposition, which may lead to a super-superposition, or we undo the