Denotational semantics of recursive types in synthetic guarded domain theory

Rasmus E. Møgelberg, Marco Paviotti

Just like any other branch of mathematics, denotational semantics of programming languages should be formalised in type theory, but adapting traditional domain theoretic semantics,…