Bonchi, F., Di Lavore, E., Román, M., & Staton, S. (2025). Program Logics via Distributive Monoidal Categories.
Chicago-Zitierstil (17. Ausg.)Bonchi, Filippo, Elena Di Lavore, Mario Román, und Sam Staton. Program Logics via Distributive Monoidal Categories. 2025.
MLA-Zitierstil (9. Ausg.)Bonchi, Filippo, et al. Program Logics via Distributive Monoidal Categories. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.