Calk, Cameron

1. Time-reversal homotopical properties of concurrent systems
   2018/12/12 by Cameron Calk, Éric Goubault, Calk, Cameron +3 · 1 citation
   Computer Science · #18D35 #55U99 #68Q85 #Algebraic Topology (math.AT) #Category Theory (math.CT) #Distributed #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Parallel #and Cluster Computing (cs.DC)
2. Higher Catoids, Higher Quantales and their Correspondences
   2023/07/18 by Cameron Calk, Calk, Cameron, Philippe Malbos +5 · 1 citation
   Chemistry · #History and advancements in chemistry