Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
place. What we need here is a way to reverse duplication. That is, since a duplication allows one lambda to be in two places at the same time, then we need a way to store two variables in one place at the same time. 3.c. The superposition primitive To solve this issue, we’ll introduce a last