Cameron Calk

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Higher Globular Catoids and Quantales.
Arch. Formal Proofs, 2024

Complete Congruences of Completely Distributive Lattices.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

2023
Higher Catoids, Higher Quantales and their Correspondences.
CoRR, 2023

Persistent homology of directed spaces.
CoRR, 2023

Modal quantales, involutive quantales, Dedekind Quantales.
Arch. Formal Proofs, 2023

2022
Algebraic coherent confluence and higher globular Kleene algebras.
Log. Methods Comput. Sci., 2022

2021
Abstract Strategies and Coherence.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020
Algebraic coherent confluence and higher-dimensional globular Kleene algebras.
CoRR, 2020

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

2018
Time-reversal homotopical properties of concurrent systems.
CoRR, 2018


  Loading...