Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
Interaction Combinators. If you haven’t read that paper, I’d strongly suggest you to, as that is, in my opinion, the most elegant model of computation I’ve seen. That means every Symmetric Interaction Net can be interpreted as an SIC term, and vice-versa; and each graph rewrite corresponds to one