Marco Paviotti

Identifiers

No identifiers captured yet.

Papers (1)

1. Denotational semantics of recursive types in synthetic guarded domain theory cs.LO · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Rasmus E. M{\o}gelberg 1 shared papers