APA (7th ed.) Citation

MØGELBERG, R. E., & PAVIOTTI, M. (2019). Denotational semantics of recursive types in synthetic guarded domain theory. Mathematical structures in computer science, 29(3), 465-510. https://doi.org/10.1017/S0960129518000087

Chicago Style (17th ed.) Citation

MØGELBERG, RASMUS E., and MARCO PAVIOTTI. "Denotational Semantics of Recursive Types in Synthetic Guarded Domain Theory." Mathematical Structures in Computer Science 29, no. 3 (2019): 465-510. https://doi.org/10.1017/S0960129518000087.

MLA (9th ed.) Citation

MØGELBERG, RASMUS E., and MARCO PAVIOTTI. "Denotational Semantics of Recursive Types in Synthetic Guarded Domain Theory." Mathematical Structures in Computer Science, vol. 29, no. 3, 2019, pp. 465-510, https://doi.org/10.1017/S0960129518000087.