[TYPES/announce] Selected Papers of Dana S. Scott
Steve Awodey
awodey at cmu.edu
Tue Oct 11 09:02:42 EDT 2022
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:
https://urldefense.com/v3/__https://github.com/CMU-HoTT/scott__;!!IBzWLUs!XaWRj-dEH0Teobl5ofqm2rgg5Vo3P3yRJ0WKp9JxlizscgFpggPp4DqRyKKg7cMnep6lTdd52JBl0Z1ZKeqqaUk8788dJg$ <https://urldefense.com/v3/__https://github.com/CMU-HoTT/scott__;!!IBzWLUs!XaWRj-dEH0Teobl5ofqm2rgg5Vo3P3yRJ0WKp9JxlizscgFpggPp4DqRyKKg7cMnep6lTdd52JBl0Z1ZKeqqaUk8788dJg$ >
Additions and corrections by pull request are welcome.
Happy Birthday Dana!
Steve Awodey
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221011/de84c5a1/attachment-0001.htm>
More information about the Types-announce
mailing list