SpringerLink (Online service), 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 : Imprint: Springer. https://doi.org/10.1007/978-3-031-61716-4
Citace podle Chicago (17th ed.)SpringerLink (Online service), Venanzio Capretta, Robbert Krebbers, a 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 : Imprint: Springer, 2024. https://doi.org/10.1007/978-3-031-61716-4.
Citace podle MLA (9th ed.)SpringerLink (Online service), 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 : Imprint: Springer, 2024. https://doi.org/10.1007/978-3-031-61716-4.