Barenbaum, P., Kesner, D., & Milicich, M. (2024). Hybrid Intersection Types for PCF (Extended Version).
Chicago-Zitierstil (17. Ausg.)Barenbaum, Pablo, Delia Kesner, und Mariana Milicich. Hybrid Intersection Types for PCF (Extended Version). 2024.
MLA-Zitierstil (9. Ausg.)Barenbaum, Pablo, et al. Hybrid Intersection Types for PCF (Extended Version). 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.