You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Valeria de Paiva (Apr 13 2024 at 13:25):I am really sad to report (very late) that "Prof. Emeritus William Walker Tait, an acclaimed philosopher and mathematician at the University of Chicago, died March 15 in Naperville, Ill. He was 95. " This is from the U of Chicago note. Richard Zach has more in a personal remembrance here.
Some of us think the Curry-Howard isomorphism should perhaps be called Curry-Howard-Tait as he was the one who gave it its `engine' by showing that the Curry–Howard correspondence between formulas and types and proofs and lambda terms extends to normalization of natural deduction and reduction of the corresponding lambda term