Items where authors include "Malbos, P."

Article

Calk, C., Malbos, P., Pous, D. et al. (1 more author) (2025) Higher catoids, higher quantales and their correspondences. Applied Categorical Structures, 33 (4). 25. ISSN 0927-2852

Malbos, P., Massacrier, T. and Struth, G. (2024) Single-set cubical categories and their formalisation with a proof assistant. Journal of Automated Reasoning, 68 (4). 20. ISSN 0168-7433