What sad news! In past years I many times visited Darmstadt to work with the the group on Continuous Lattices, and I often visited with Thomas. In later years his work with the late Martin Hofmann was very inspiring and fundamental. A Google Scholar search on “Streicher Hofmann” turns up many references. Maybe someone can give a survey talk on his and their work in one of the up-coming conferences? —DANA Prof. Dana S. Scott 1149 Shattuck Ave Berkeley, CA 94707 ——— Home: (510) 527-5287 Cell: (510) 239-1843 ---------- You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. Leave group: https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27