@buchholtz What terrible news to our community. I have never met Thomas in person but his writings have accompanied and guided me since the beginning of my journey into type theory -- his book on domain theory, notes on fibrations, papers on the initiality of the syntax of type theory, universes in categories, groupoid models of type theory...
=> More informations about this toot | View the thread | More toots from zyang@mathstodon.xyz
=> View buchholtz@mathstodon.xyz profile
text/geminiThis content has been proxied by September (ba2dc).