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