public inbox for categories@mta.ca
 help / color / mirror / Atom feed
* 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