Denotational semantics of recursive types in synthetic guarded domain theory

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]

Abstract

Abstract is missing.