5 citations · 7 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Meta-MeTTa: an operational semantics for MeTTa
Lucius Gregory Meredith, Ben Goertzel, Jonathan Warrell +1
We present an operational semantics for the language MeTTa.
cs.LO2016★ 2 cited
Logic as a distributive law
Mike Stay, Lucius Gregory Meredith
We present an algorithm for deriving a spatial-behavioral type system from a formal presentation of a computational calculus. Given a 2-monad Calc: Catv Cat for the free calcu…