Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
“duplication of a duplication”, is “solved” by simply considering it part of the semantics of the language. That is, when a duplication node duplicates itself on the interaction net, that’s not an error anymore, but has an meaning: it merely undoes the superposed expression a & b. This is what