APA (7th ed.) Citation

Zhou, L., Wan, Q., & Oliveira, B. C. d. S. (2024). Full Iso-recursive Types.

Chicago Style (17th ed.) Citation

Zhou, Litao, Qianyong Wan, and Bruno C. d. S. Oliveira. Full Iso-recursive Types. 2024.

MLA (9th ed.) Citation

Zhou, Litao, et al. Full Iso-recursive Types. 2024.