Cameron Calk

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 11

Top Topics

Persistent Homology

Top Venues

Arch. Formal Proofs

Log. Methods Comput. Sci.

Publications

Cameron Calk, Georg Struth
Higher Globular Catoids and Quantales. Arch. Formal Proofs 2024 (2024)
Cameron Calk, Luigi Santocanale
Complete Congruences of Completely Distributive Lattices. RAMiCS (2024)
Cameron Calk, Eric Goubault, Philippe Malbos
Persistent homology of directed spaces. CoRR (2023)
Georg Struth, Cameron Calk
Modal quantales, involutive quantales, Dedekind Quantales. Arch. Formal Proofs 2023 (2023)
Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth
Higher Catoids, Higher Quantales and their Correspondences. CoRR (2023)
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
Algebraic coherent confluence and higher globular Kleene algebras. Log. Methods Comput. Sci. 18 (4) (2022)
Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS (2021)
Cameron Calk, Eric Goubault, Philippe Malbos
Abstract Strategies and Coherence. RAMiCS (2021)
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
Algebraic coherent confluence and higher-dimensional globular Kleene algebras. CoRR (2020)
Cameron Calk, Anupam Das, Tim Waring
Beyond formulas-as-cographs: an extension of Boolean logic to arbitrary graphs. CoRR (2020)
Cameron Calk, Eric Goubault, Philippe Malbos
Time-reversal homotopical properties of concurrent systems. CoRR (2018)