← Back to Publications
Authors: Lucius Gregory Meredith, Ben Goertzel, Jonathan Warrell, Adam Vandervorst
Year: 2023
Venue: arXiv:2305.17218
Links: arXiv abstract
The core operational-semantics paper for MeTTa. It defines the algebra of states, structural equivalences, rewrite rules, and bisimulation criteria needed for a correct and compliant MeTTa implementation. It also sketches compilation into the rho-calculus / Rholang family, making it one of the key formal bridges between MeTTa language design and executable runtimes.
This paper is the main formal specification layer behind MeTTa Full, and it also grounds the runtime and compilation surfaces discussed in ASI Chain Full. For anyone evaluating whether MeTTa is just a notation or a real computational model, this is one of the highest-value papers in the stack.