* Selected Papers of Dana S. Scott
@ 2022-10-11 13:02 Steve Awodey
0 siblings, 0 replies; only message in thread
From: Steve Awodey @ 2022-10-11 13:02 UTC (permalink / raw)
To: categories net, constructivenews-/JYPxA39Uh5TLH3MbocFFw,
Homotopy Type Theory, PalColl, CMUHoTT,
Philosophy Department Mailing List,
types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org
Cc: Andrej Bauer, Michael Fourman, Dana Scott, Klaus Sutner,
Martin Hyland, Peter Johnstone
[-- Attachment #1: Type: text/plain, Size: 108 bytes --]
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[-- Attachment #2.1: Type: text/plain, Size: 632 bytes --]
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
[-- Attachment #2.2: Type: text/html, Size: 1028 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-10-11 13:02 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-10-11 13:02 Selected Papers of Dana S. Scott Steve Awodey
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).