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://github.com/CMU-HoTT/scott

Additions and corrections by pull request are welcome.

Happy Birthday Dana!

Steve Awodey

--
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/970614B8-4D3F-4834-9AC6-8428D9C7CDEE%40cmu.edu.