
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">In honor of Dana Scott’s 90th birthday, <div class="">a Git repository containing pdf scans of </div><div class="">a selection of his papers has been established.</div><div class="">These are available for public download here:<br class=""><div class=""><br class=""></div><div class=""><a href="https://urldefense.com/v3/__https://github.com/CMU-HoTT/scott__;!!IBzWLUs!XaWRj-dEH0Teobl5ofqm2rgg5Vo3P3yRJ0WKp9JxlizscgFpggPp4DqRyKKg7cMnep6lTdd52JBl0Z1ZKeqqaUk8788dJg$" class="">https://github.com/CMU-HoTT/scott</a></div><div class=""><br class=""></div><div class="">Additions and corrections by pull request are welcome.</div></div><div class=""><br class=""></div><div class="">Happy Birthday Dana!</div><div class=""><br class=""></div><div class="">Steve Awodey</div><div class=""><br class=""></div></body></html>