69 citations · 205 across the 22 of their papers we have counts for
1 paper · 1 filter
Sergey Goncharov, Tarmo Uustalu
We study Kleene iteration in the categorical context. A celebrated completeness result by Kozen introduced Kleene algebra (with tests) as a ubiquitous tool for lightweight reasonin…