Cameron Calk

According to our database, Cameron Calk authored at least 11 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Higher Globular Catoids and Quantales.

Cameron Calk, Georg Struth

Arch. Formal Proofs, 2024

Complete Congruences of Completely Distributive Lattices.

Cameron Calk, Luigi Santocanale

Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

2023

Higher Catoids, Higher Quantales and their Correspondences.

Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth

CoRR, 2023

Persistent homology of directed spaces.

Cameron Calk, Eric Goubault, Philippe Malbos

CoRR, 2023

Modal quantales, involutive quantales, Dedekind Quantales.

Georg Struth, Cameron Calk

Arch. Formal Proofs, 2023

2022

Algebraic coherent confluence and higher globular Kleene algebras.

Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth

Log. Methods Comput. Sci., 2022

2021

Abstract Strategies and Coherence.

Cameron Calk, Eric Goubault, Philippe Malbos

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality.

Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Algebraic coherent confluence and higher-dimensional globular Kleene algebras.

Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth

CoRR, 2020

Beyond formulas-as-cographs: an extension of Boolean logic to arbitrary graphs.

Cameron Calk, Anupam Das, Tim Waring

CoRR, 2020

2018

Time-reversal homotopical properties of concurrent systems.

Cameron Calk, Eric Goubault, Philippe Malbos

CoRR, 2018