Rasmus Ejlers Møgelberg, Marco Paviotti. Denotational semantics of recursive types in synthetic guarded domain theory. Mathematical Structures in Computer Science, 29(3):465-510, 2019. [doi]
@article{MogelbergP19,
title = {Denotational semantics of recursive types in synthetic guarded domain theory},
author = {Rasmus Ejlers Møgelberg and Marco Paviotti},
year = {2019},
doi = {10.1017/S0960129518000087},
url = {https://doi.org/10.1017/S0960129518000087},
researchr = {https://researchr.org/publication/MogelbergP19},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {29},
number = {3},
pages = {465-510},
}