54 citations · 98 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
UC, Categorically: Rigorous Diagrammatic Proofs
Pooya Farshim, Martti Karvonen, Andre Knispel +2
Category theory is a mathematical theory of composition, widely used in logic, computing, and physics. Here we apply it to give a theory of secure composition. In particular, we pr…
cs.LO2019
Towards Races in Linear Logic
Wen Kokke, J. Garrett Morris, Philip Wadler
Process calculi based in logic, such as DILL and CP, provide a foundation for deadlock-free concurrent programming, but exclude non-determinism and races. HCP is a reformulation…