An Invitation to Synthetic Domain Theory

Add to your list(s) Download to your calendar using vCal

• Jon Sterling (University of Cambridge)
• Monday 02 June 2025, 10:00-11:00
• FW26, Computer Laboratory.

If you have a question about this talk, please contact Dr Meven Lennon-Bertrand.

Domain theory offers a denotational semantics for general recursive functional programming, but working directly with domains and their continuity laws can be a bit technical; it is also not easy to find a single notion of “domain” that is good for most purposes. Synthetic methods can simplify the use of domain theory by recasting domains as special types in an alternate reality where all functions are automatically as continuous as possible. We will see how to formulate domains and general recursion in the synthetic setting by extending Homotopy Type Theory with a bounded distributive lattice of observations satisfying a few additional laws.

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

• FW26, Computer Laboratory
• tcw57’s list

Note that ex-directory lists are not shown.