[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