Tensor Network Rewriting Strategies for Satisfiability and Counting
Differential algebras in codifferential categories
A categorical semantics for causal structure (extended version)
Universal MBQC with generalised parity−phase interactions and Pauli measurements
External traced monoidal categories
Contextuality and noncommutative geometry in quantum mechanics
Integral categories and calculus categories
Higher−order distributions for differential linear logic.