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.