News for hackers. Stuff that matters.
Re:Monoids and Differential Dataflow by crb002 on Sunday March 10, 2019 @05:31AM (#19351165)
Volker Diekert, Yves Metivier, "Partial Commutation and Traces https://pdfs.semanticscholar.org/d67a/c4c1e5967f7e114f390245...
Re:Monoids and Differential Dataflow by agumonkey on Sunday March 10, 2019 @04:42PM (#19354338)
I think I recall LaBRI being fond of infinite trees for logic programming too. I like trees. I never saw the paper you linked so thanks a lot.