APA (7th ed.) Citation

Laretto, A., Loregian, F., & Veltri, N. (2024). Di- is for Directed: First-Order Directed Type Theory via Dinaturality.

Chicago Style (17th ed.) Citation

Laretto, Andrea, Fosco Loregian, and Niccolò Veltri. Di- Is for Directed: First-Order Directed Type Theory via Dinaturality. 2024.

MLA (9th ed.) Citation

Laretto, Andrea, et al. Di- Is for Directed: First-Order Directed Type Theory via Dinaturality. 2024.