Meta-MeTTa

help edit space_dashboard
Draft — This content has not been approved for publication.

← Back to Publications

Meta-MeTTa: an operational semantics for MeTTa

Authors: Lucius Gregory Meredith, Ben Goertzel, Jonathan Warrell, Adam Vandervorst
Year: 2023
Venue: arXiv:2305.17218
Links: arXiv abstract

Summary

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.

Relevance to Hyperon

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.

Key References



Discussion