Paweł Sobociński
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
2020/12/03 by Filippo Bonchi, Fabio Gadducci, Bonchi, Filippo +7 · 4 citations
Computer Science · #Security and Verification in Computing #Software Testing and Debugging Techniques #Logic, programming, and type systems
- String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
2021/04/29 by Filippo Bonchi, Fabio Gadducci, Bonchi, Filippo +7 · 3 citations
Computer Science · #Advanced Malware Detection Techniques #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Security and Verification in Computing
- Partial Markov Categories
2025/01/24 by Elena Di Lavore, Di Lavore, Elena, Mario Román +3 · 2 citations
Computer Science · Mathematics · #Bayesian Modeling and Causal Inference #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge
- String Diagrammatic Trace Theory
2023/06/28 by Matt Earnshaw, Paweł Sobociński, Earnshaw, Matthew +1 · 1 citation
Computer Science · #Authorship Attribution and Profiling #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Natural Language Processing Techniques #semigroups and automata theory