Goncharov, S., Milius, S., Tsampas, S., & Urbat, H. (2024). Bialgebraic Reasoning on Higher-Order Program Equivalence.
Chicago-Zitierstil (17. Ausg.)Goncharov, Sergey, Stefan Milius, Stelios Tsampas, und Henning Urbat. Bialgebraic Reasoning on Higher-Order Program Equivalence. 2024.
MLA-Zitierstil (9. Ausg.)Goncharov, Sergey, et al. Bialgebraic Reasoning on Higher-Order Program Equivalence. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.