Capretta, V., Krebbers, R., & Wiedijk, F. (2024). Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday (1st ed. 2024.). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-61716-4
Chicago-Zitierstil (17. Ausg.)Capretta, Venanzio, Robbert Krebbers, und Freek Wiedijk. Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. 1st ed. 2024. Cham: Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-61716-4.
MLA-Zitierstil (9. Ausg.)Capretta, Venanzio, et al. Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. 1st ed. 2024. Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-61716-4.