APA (7th ed.) Citation

Ehrhard, T., & Jafarrahmani, F. (2021, June 29). Categorical models of Linear Logic with fixed points of formulas. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-13. https://doi.org/10.1109/LICS52264.2021.9470664

Chicago Style (17th ed.) Citation

Ehrhard, Thomas, and Farzad Jafarrahmani. "Categorical Models of Linear Logic with Fixed Points of Formulas." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-13. https://doi.org/10.1109/LICS52264.2021.9470664.

MLA (9th ed.) Citation

Ehrhard, Thomas, and Farzad Jafarrahmani. "Categorical Models of Linear Logic with Fixed Points of Formulas." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-13, https://doi.org/10.1109/LICS52264.2021.9470664.