Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
rule on the calculus. Note that, since there is no rule to duplicate a superposed value, SIC corresponds to the abstract algorithm with only one “fan” node. That is, it is impossible to duplicate a duplication. To make it more powerful, we could just extend definitions and superpositions with