Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
the written rule: Lambda copy: (v = λx. body) ~> v = body v <~ (λx0. v) v <~ (λx1. v) x <~ (x0 & x1) As bizarre as it may look, think of it as imaginary numbers. Remember how i was defined as sqrt(-1) in order to make algebra complete and allow every polynomial have a root? Here, superposed A & B