Lucius Gregory Meredith

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 6

Top Topics

Agent Programming

Operational Semantics

Model Theoretic

Top Venues

Publications

Ben Goertzel, Vitaly Bogdanov, Michael Duncan, Deborah Duong, Zarathustra Amadeus Goertzel, Jan Horlings, Matthew Iklé, Lucius Gregory Meredith, Alexey Potapov, Andre Luiz de Senna, Hedra Seid, Andres Suarez, Adam Vandervorst, Robert Werko
OpenCog Hyperon: A Framework for AGI at the Human Level and Beyond. CoRR (2023)
Lucius Gregory Meredith, Ben Goertzel, Jonathan Warrell, Adam Vandervorst
Meta-MeTTa: an operational semantics for MeTTa. CoRR (2023)
Lucius Gregory Meredith, Michael Stay
Name-free combinators for concurrency. CoRR (2017)
Mike Stay, Lucius Gregory Meredith
Logic as a distributive law. CoRR (2016)
Lucius Gregory Meredith
Linear Types Can Change the Blockchain. CoRR (2015)
Mike Stay, Lucius Gregory Meredith
Higher category models of the pi-calculus. CoRR (2015)
Lucius Gregory Meredith, Mike Stay, Sophia Drossopoulou
Policy as Types. CoRR (2013)