research
∙
07/18/2023
Higher Catoids, Higher Quantales and their Correspondences
We establish modal correspondences between omega-catoids and convolution...
share
research
∙
06/29/2020
Algebraic coherent confluence and higher-dimensional globular Kleene algebras
We extend the formalisation of confluence results in Kleene algebras to ...
research
∙
04/27/2020
