ติดตาม
Fabio Zanasi
Fabio Zanasi
Professor of Computer Science, University College London
ยืนยันอีเมลแล้วที่ ucl.ac.uk - หน้าแรก
ชื่อ
อ้างโดย
อ้างโดย
ปี
Interacting hopf algebras
F Bonchi, P Sobociński, F Zanasi
Journal of Pure and Applied Algebra 221 (1), 144-184, 2017
1202017
A categorical semantics of signal flow graphs
F Bonchi, P Sobociński, F Zanasi
International Conference on Concurrency Theory, 435-450, 2014
1182014
Full abstraction for signal flow graphs
F Bonchi, P Sobocinski, F Zanasi
ACM SIGPLAN Notices 50 (1), 515-526, 2015
1122015
Interacting Hopf Algebras: the theory of linear systems
F Zanasi
arXiv preprint arXiv:1805.03032, 2018
1012018
Categorical foundations of gradient-based learning
GSH Cruttwell, B Gavranović, N Ghani, P Wilson, F Zanasi
European Symposium on Programming, 1-28, 2022
932022
Diagrammatic algebra: from linear to concurrent systems
F Bonchi, J Holland, R Piedeleu, P Sobociński, F Zanasi
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
762019
Graphical affine algebra
F Bonchi, R Piedeleu, P Sobociński, F Zanasi
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019
742019
Causal inference by string diagram surgery
B Jacobs, A Kissinger, F Zanasi
Foundations of Software Science and Computation Structures: 22nd …, 2019
712019
Rewriting modulo symmetric monoidal structure
F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
712016
The calculus of signal flow diagrams I: linear relations on streams
F Bonchi, P Sobociński, F Zanasi
Information and Computation 252, 2-29, 2017
662017
String diagram rewrite theory I: rewriting with Frobenius structure
F Bonchi, F Gadducci, A Kissinger, P Sobocinski, F Zanasi
Journal of the ACM (JACM) 69 (2), 1-58, 2022
572022
Interacting bialgebras are Frobenius
F Bonchi, P Sobociński, F Zanasi
Foundations of Software Science and Computation Structures: 17th …, 2014
472014
The logical essentials of Bayesian reasoning
BPF Jacobs, F Zanasi
Cambridge University Press, 2021
452021
Concurrent Kleene algebra: Free model and completeness
T Kappé, P Brunet, A Silva, F Zanasi
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
452018
A predicate/state transformer semantics for Bayesian learning
B Jacobs, F Zanasi
Electronic Notes in Theoretical Computer Science 325, 185-200, 2016
392016
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
T Kappé, P Brunet, A Silva, J Wagemaker, F Zanasi
FoSSaCS, 381-400, 2020
312020
Confluence of graph rewriting with interfaces
F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi
European Symposium on Programming, 141-169, 2017
292017
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
F Bonchi, F Gadducci, A Kissinger, P Sobocinski, F Zanasi
Mathematical Structures in Computer Science 32 (4), 511-541, 2022
272022
Deconstructing Lawvere with distributive laws
F Bonchi, P Sobociński, F Zanasi
Journal of logical and algebraic methods in programming 95, 128-146, 2018
272018
An introduction to string diagrams for computer scientists
R Piedeleu, F Zanasi
arXiv preprint arXiv:2305.08768, 2023
262023
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–20