Selected Papers of Dana S. Scott
46 views
Skip to first unread message
Steve Awodey
Oct 11, 2022, 9:02:47 AM10/11/22
to categories net, construc...@googlegroups.com, Homotopy Type Theory, PalColl, CMUHoTT, Philosophy Department Mailing List, types-a...@lists.seas.upenn.edu, Dana Scott, Klaus Sutner, Michael Fourman, Andrej Bauer, Lars Birkedal, Martin Hyland, Peter Johnstone
In honor of Dana Scott’s 90th birthday,
a Git repository containing pdf scans of
a selection of his papers has been established.
These are available for public download here:
Additions and corrections by pull request are welcome.
Happy Birthday Dana!
Steve Awodey
Reply all
Reply to author
Forward
0 new messages