axiomatisation 1complete lattices 1continuous algebras 1hypotheses 1kleene algebra 1regular tree languages 1
From the 1 of 3 linked papers with an AI index.
3 papers
cs.LO2026
Continuous Algebras with Hypotheses
Lukas Mulder, Damien Pous, Jana Wagemaker
The paper introduces a unified framework for many Kleene algebra variants by using continuous algebras ordered by complete lattices, gives a canonical model of closed languages, an…
cs.LO2026
Adhesive category theory for graph rewriting in Rocq
Samuel Arsac, Russ Harmer, Damien Pous
We design a Rocq library about adhesive categories, using Hierarchy Builder (HB). It is built around two hierarchies. The first is for categories, with usual categories at the bott…
cs.LO2026
String Diagrams for Monoidal Categories, in Rocq
Damien Pous
We present a Rocq library for monoidal categories, which includes a decision procedure for proving equality of morphisms as well as notations that make it possible to reason as if…