APA-Zitierstil (7. Ausg.)

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-Zitierstil (17. Ausg.)

MØGELBERG, RASMUS E., und 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-Zitierstil (9. Ausg.)

MØGELBERG, RASMUS E., und 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.