Interaction Nets

1. https://zicklag.github.io/blog/interaction-nets-combinators-calculus/
2. https://en.wikipedia.org/wiki/Interaction_nets

Theory behind the parallelism of HVM.