194 citations · 1.2k across the 78 of their papers we have counts for
20 papers · 1 filter
A complete logic for causal consistency
Will Simmons, Aleks Kissinger
The construction takes a base category of ``raw materials'' and builds a category of higher order causal processes, that is a category whose types encode causal…
Identification of Causal Influences in Quantum Processes
Isaac Friend, Aleks Kissinger
Though the topic of causal inference is typically considered in the context of classical statistical models, recent years have seen great interest in extending causal inference tec…
Higher-order causal theories are models of BV-logic
Will Simmons, Aleks Kissinger
The Caus[-] construction takes a compact closed category of basic processes and yields a *-autonomous category of higher-order processes obeying certain signalling/causality constr…
String Diagram Rewrite Theory III: Confluence with and without Frobenius
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger +2
In this paper we address the problem of proving confluence for string diagram rewriting, which was previously shown to be characterised combinatorically as double-pushout rewriting…
A Graphical Calculus for Lagrangian Relations
Cole Comfort, Aleks Kissinger
Symplectic vector spaces are the phase spaces of linear mechanical systems. The symplectic form describes, for example, the relation between position and momentum as well as curren…
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger +2
Symmetric monoidal theories (SMTs) generalise algebraic theories in a way that make them suitable to express resource-sensitive systems, in which variables cannot be copied or disc…