Time-reversal homotopical properties of concurrent systems. - Cameron Calk; Eric Goubault; Philippe Malbos (CoRR, 2018)

Beyond formulas-as-cographs: an extension of Boolean logic to arbitrary graphs. - Cameron Calk; Anupam Das 002; Tim Waring (CoRR, 2020)

Algebraic coherent confluence and higher-dimensional globular Kleene algebras. - Cameron Calk; Eric Goubault; Philippe Malbos; Georg Struth (CoRR, 2020)

ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. - Cameron Calk; Uli Fahrenberg; Christian Johansen; Georg Struth; Krzysztof Ziemianski (RAMiCS, 2021)

Abstract Strategies and Coherence. - Cameron Calk; Eric Goubault; Philippe Malbos (RAMiCS, 2021)

Algebraic coherent confluence and higher globular Kleene algebras. - Cameron Calk; Eric Goubault; Philippe Malbos; Georg Struth (Log. Methods Comput. Sci., 2022)

Modal quantales, involutive quantales, Dedekind Quantales. - Georg Struth; Cameron Calk (Arch. Formal Proofs, 2023)

Persistent homology of directed spaces. - Cameron Calk; Eric Goubault; Philippe Malbos (CoRR, 2023)

Complete Congruences of Completely Distributive Lattices. - Cameron Calk; Luigi Santocanale (RAMiCS, 2024)

Higher Globular Catoids and Quantales. - Cameron Calk; Georg Struth (Arch. Formal Proofs, 2024)

Persistent homology of partially ordered spaces. - Cameron Calk; Eric Goubault; Philippe Malbos (J. Appl. Comput. Topol., 2024)

Higher Catoids, Higher Quantales and their Correspondences. - Cameron Calk; Philippe Malbos; Damien Pous; Georg Struth (Appl. Categorical Struct., 2025)