Cameron Calk

14 papers C 3Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Higher Catoids, Higher Quantales and their Correspondences.
Appl. Categorical Struct.
Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth
2025 J jnl
Stone Duality Proofs for Colorless Distributed Computability Theorems.
CoRR
Cameron Calk, Emmanuel Godard
2024 C conf
Complete Congruences of Completely Distributive Lattices.
RAMiCS
Cameron Calk, Luigi Santocanale
2024 J jnl
Higher Globular Catoids and Quantales.
Arch. Formal Proofs
Cameron Calk, Georg Struth
2024 J jnl
Persistent homology of partially ordered spaces.
J. Appl. Comput. Topol.
Cameron Calk, Eric Goubault, Philippe Malbos
2023 J jnl
Higher Catoids, Higher Quantales and their Correspondences.
CoRR
Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth
2023 J jnl
Modal quantales, involutive quantales, Dedekind Quantales.
Arch. Formal Proofs
Georg Struth, Cameron Calk
2023 J jnl
Persistent homology of directed spaces.
CoRR
Cameron Calk, Eric Goubault, Philippe Malbos
2022 J jnl
Algebraic coherent confluence and higher globular Kleene algebras.
Log. Methods Comput. Sci.
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
2021 C conf
Abstract Strategies and Coherence.
RAMiCS
Cameron Calk, Eric Goubault, Philippe Malbos
2021 C conf
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality.
RAMiCS
Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2020 J jnl
Algebraic coherent confluence and higher-dimensional globular Kleene algebras.
CoRR
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
2020 J jnl
Beyond formulas-as-cographs: an extension of Boolean logic to arbitrary graphs.
CoRR
Cameron Calk, Anupam Das, Tim Waring
2018 J jnl
Time-reversal homotopical properties of concurrent systems.
CoRR
Cameron Calk, Eric Goubault, Philippe Malbos