The following pages link to Filippo Bonchi (Q308153):
Displayed 40 items.
- Rewriting modulo symmetric monoidal structure (Q4635934) (← links)
- (Q4683862) (← links)
- Generalizing determinization from automata to coalgebras (Q4913772) (← links)
- Saturated LTSs for Adhesive Rewriting Systems (Q4931308) (← links)
- (Q5009431) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- (Q5079736) (← links)
- (Q5094151) (← links)
- (Q5111636) (← links)
- (Q5111638) (← links)
- Rewriting with Frobenius (Q5145289) (← links)
- Sound up-to techniques and Complete abstract domains (Q5145290) (← links)
- (Q5150130) (← links)
- (Q5155671) (← links)
- Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
- (Q5208771) (← links)
- Bialgebraic Semantics for Logic Programming (Q5246719) (← links)
- (Q5275342) (← links)
- (Q5357707) (← links)
- Enhanced coalgebraic bisimulation (Q5361143) (← links)
- Algebra-coalgebra duality in brzozowski's minimization algorithm (Q5410330) (← links)
- Interacting Bialgebras Are Frobenius (Q5410683) (← links)
- Symbolic Semantics Revisited (Q5458375) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- RPO semantics for mobile ambients (Q5740373) (← links)
- Concurrency cannot be observed, asynchronously (Q5740646) (← links)
- (Q5875356) (← links)
- (Q5875399) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
- (Q6061667) (← links)
- (Q6061668) (← links)
- (Q6061669) (← links)
- (Q6187057) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
- Functorial Semantics for Relational Theories (Q6294308) (← links)
- Bialgebraic Semantics for String Diagrams (Q6319954) (← links)
- Cartesian bicategories with choice (Q6337138) (← links)
- Combining Semilattices and Semimodules (Q6357167) (← links)