Lucius Gregory Meredith

According to our database, Lucius Gregory Meredith authored at least 7 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

OpenCog Hyperon: A Framework for AGI at the Human Level and Beyond.

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

CoRR, 2023

Meta-MeTTa: an operational semantics for MeTTa.

Lucius Gregory Meredith, Ben Goertzel, Jonathan Warrell, Adam Vandervorst

CoRR, 2023

2017

Name-free combinators for concurrency.

Lucius Gregory Meredith, Michael Stay

CoRR, 2017

2016

Logic as a distributive law.

Mike Stay, Lucius Gregory Meredith

CoRR, 2016

2015

Higher category models of the pi-calculus.

Mike Stay, Lucius Gregory Meredith

CoRR, 2015

Linear Types Can Change the Blockchain.

Lucius Gregory Meredith

CoRR, 2015

2013

Policy as Types.

Lucius Gregory Meredith, Mike Stay, Sophia Drossopoulou

CoRR, 2013