Denotational semantics of recursive types in synthetic guarded domain theory.

Rasmus Ejlers Mgelberg, Marco Paviotti

Browse the full LICS paper archive.