Post #1421414

At 9.50 today, I'm giving a talk on constructive domain theory at the Formal Topology Workshop in Venice. Feat. a shoutout to @nmvdw and @dif for their nice paper "The Interval Domain in Homotopy Type Theory". It should be livestreamed: https://youtube.com/@wires0/streams [Update: it seems the recording of my talk failed.] Slides: https://tdejong.com/talks/7WFTop.pdf