pith. sign in

Filippo Bonchi

Identifiers

  • name variant Filippo Bonchi 0.60 · backfill

Papers (15)

  1. A Diagrammatic Basis for Computer Programming cs.LO · 2025 · author #1
  2. The calculus of neo-Peircean relations cs.LO · 2025 · author #1
  3. Bialgebraic Semantics for String Diagrams cs.LO · 2019 · author #1
  4. Bisimilarity of Open Terms in Stream GSOS cs.LO · 2018 · author #1
  5. Up-To Techniques for Behavioural Metrics via Fibrations cs.LO · 2018 · author #1
  6. Sound up-to techniques and Complete abstract domains cs.LO · 2018 · author #1
  7. Graphical Conjunctive Queries cs.LO · 2018 · author #1
  8. Functorial Semantics for Relational Theories cs.LO · 2017 · author #1
  9. Up-To Techniques for Weighted Systems (Extended Version) cs.FL · 2017 · author #1
  10. Rewriting modulo symmetric monoidal structure math.CT · 2016 · author #1
  11. Towards Trace Metrics via Functor Lifting cs.LO · 2015 · author #2
  12. Bialgebraic Semantics for Logic Programming cs.LO · 2015 · author #1
  13. Behavioral Metrics via Functor Lifting cs.LO · 2014 · author #2
  14. Interacting Hopf Algebras cs.LO · 2014 · author #1
  15. How to Kill Epsilons with a Dagger -- A Coalgebraic Take on Systems with Algebraic Label Structure cs.LO · 2014 · author #1

Mentions

  • 1505.08105 #2 · backfill · confidence 0.70 Filippo Bonchi
  • 1502.06095 #1 · backfill · confidence 0.70 Filippo Bonchi
  • 1410.3385 #2 · backfill · confidence 0.70 Filippo Bonchi
  • 1403.7048 #1 · backfill · confidence 0.70 Filippo Bonchi
  • 1402.4062 #1 · backfill · confidence 0.70 Filippo Bonchi

Frequent Coauthors