APA (7th ed.) Citation

Stassen, P. J. A., Møgelberg, R. E., Zwart, M., Aguirre, A., & Birkedal, L. (2024). Modelling Recursion and Probabilistic Choice in Guarded Type Theory.

Chicago Style (17th ed.) Citation

Stassen, Philipp Jan Andries, Rasmus Ejlers Møgelberg, Maaike Zwart, Alejandro Aguirre, and Lars Birkedal. Modelling Recursion and Probabilistic Choice in Guarded Type Theory. 2024.

MLA (9th ed.) Citation

Stassen, Philipp Jan Andries, et al. Modelling Recursion and Probabilistic Choice in Guarded Type Theory. 2024.