BONCHI, FILIPPO
BONCHI, FILIPPO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Personale esterno ed autonomi
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.014 secondi).
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
2022 Bonchi F.; Gadducci F.; Kissinger A.; Sobocinski P.; Zanasi F.
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
2022 Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F
String Diagram Rewrite Theory III: Confluence with and without Frobenius
2022 Filippo Bonchi ; Fabio Gadducci ; Aleks Kissinger ; Pawel Sobocinski ; Fabio Zanasi
From Farkas’ lemma to linear programming: An exercise in diagrammatic algebra
2021 Bonchi F.; Di Giorgio A.; Zanasi F.
Bialgebraic semantics for string diagrams
2019 Bonchi F.; Piedeleu R.; Sobocinski P.; Zanasi F.
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure | Bonchi F.; Gadducci F.; Kissinger A.; Sobocinski P.; Zanasi F. | 2022-01-01 | JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY | - | 1.01 Articolo in rivista | Zanasi_String Diagram Rewrite Theory I. Rewriting with Frobenius Structure_submitted.pdf |
String diagram rewrite theory II: Rewriting with symmetric monoidal structure | Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F | 2022-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
String Diagram Rewrite Theory III: Confluence with and without Frobenius |
Filippo Bonchi ; Fabio Gadducci ; Aleks Kissinger ; Pawel Sobocinski ; Fabio Zanasi |
2022-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | string-diagram-rewrite-theory-iii-confluence-with-and-without-frobenius.pdf |
From Farkas’ lemma to linear programming: An exercise in diagrammatic algebra | Bonchi F.; Di Giorgio A.; Zanasi F. | 2021-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | LIPIcs-CALCO-2021-9.pdf |
Bialgebraic semantics for string diagrams | Bonchi F.; Piedeleu R.; Sobocinski P.; Zanasi F. | 2019-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | LIPIcs-CONCUR-2019-37.pdf |