APA (7th ed.) Citation

Collins, P., Geretti, L., Gonzalez, S. Z., Bresolin, D., & Villa, T. (2023). Rigorous Function Calculi in Ariadne.

Chicago Style (17th ed.) Citation

Collins, Pieter, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, and Tiziano Villa. Rigorous Function Calculi in Ariadne. 2023.

MLA (9th ed.) Citation

Collins, Pieter, et al. Rigorous Function Calculi in Ariadne. 2023.