INTERACTION NET
The Interaction Net is inherently parallel, memory-efficient, high-order, mathematically elegant in a way that nothing else is. It is capable of computing λ-terms exponentially faster than existing λ-calculators(!) and it supersedes Turing Machines and Automata in several senses.
https://www.youtube.com/watch?v=uIGQ1biCXY&list=PL5j9BOj0R7hFZbKhu6-5egiWmmaLde19
https://zicklag.github.io/blog/interaction-nets-combinators-calculus/
https://wiki.xxiivv.com/site/interaction_nets.html
https://boxbase.org/entries/2019/may/27/from-open-deduction-to-interaction-nets/
HVM - (Interaction Net Rust Runtime Environment)
https://github.com/Kindelia/HVM
https://zicklag.github.io/blog/hop-hvm-mini-language-part-1/
https://zicklag.github.io/blog/hop-hvm-mini-language-part-2/
https://zicklag.github.io/blog/hop-hvm-mini-language-part-2/