Kura, S., Gaboardi, M., Sekiyama, T., & Unno, H. (2026). A Category-Theoretic Framework for Dependent Effect Systems.
Chicago-Zitierstil (17. Ausg.)Kura, Satoshi, Marco Gaboardi, Taro Sekiyama, und Hiroshi Unno. A Category-Theoretic Framework for Dependent Effect Systems. 2026.
MLA-Zitierstil (9. Ausg.)Kura, Satoshi, et al. A Category-Theoretic Framework for Dependent Effect Systems. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.