5 citations · 7 across the 3 of their papers we have counts for
3 papers
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…
math.GT2010★ 5 cited
Knots as processes: a new kind of invariant
L. G. Meredith, David F. Snyder
We exhibit an encoding of knots into processes in the π-calculus such that knots are ambient isotopic if and only their encodings are weakly bisimilar.