Philippe Malbos | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Eric Goubault
19 publications
Georg Struth
12 publications
Damien Pous
5 publications
Cameron Calk
3 publications

research

∙ 07/18/2023

Higher Catoids, Higher Quantales and their Correspondences

We establish modal correspondences between omega-catoids and convolution...

0 Cameron Calk, et al. ∙

research

∙ 06/29/2020

Algebraic coherent confluence and higher-dimensional globular Kleene algebras

We extend the formalisation of confluence results in Kleene algebras to ...

0 Cameron Calk, et al. ∙