TY  - RPRT
TI  - Denotational semantics of recursive types in synthetic guarded domain theory
AU  - Rasmus E. Møgelberg
AU  - Marco Paviotti
PY  - 2018
UR  - https://arxiv.org/abs/1805.00289
ID  - 1805.00289
ER  -