Filippo Bonchi
Scholar

Filippo Bonchi

Google Scholar ID: RMy4gDsAAAAJ
CNRS ENS-Lyon
Logic and Semantics of Programs
Google Scholar↗
Citations & Impact
All-time
Citations
1,607
 
H-index
24
 
i10-index
44
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
8 items
Actionable Interpretability Must Be Defined in Terms of Symmetries
2026
Cited
0
Tapes as Stochastic Matrices of String Diagrams
arXiv.org · 2026
Cited
0
A Diagrammatic Basis for Computer Programming
2025
Cited
0
Program Logics via Distributive Monoidal Categories
2025
Cited
0
The calculus of neo-Peircean relations
2025
Cited
0
Tape Diagrams for Monoidal Monads
2025
Cited
0
Mathematical Foundation of Interpretable Equivariant Surrogate Models
2025
Cited
0
Effectful Mealy Machines: Bisimulation and Trace
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)