Scholar
Filippo Bonchi
Google Scholar ID: RMy4gDsAAAAJ
CNRS ENS-Lyon
Logic and Semantics of Programs
Follow
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)
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up