search

martinescardo / TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.
GNU General Public License v3.0
220 stars 40 forks source link

Indexing domain theory papers #295

Closed tomdjong closed 2 weeks ago

tomdjong commented 2 weeks ago

@martinescardo I finished indexing Part I, cleaning up a few bits in the process and recording the universal properties of the product and exponential of dcpos in Brendan's files.

tomdjong commented 2 weeks ago

Thanks!