[TYPES/announce] Selected Papers of Dana S. Scott

[Steve Awodey]

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>