@buchholtz This is such sad news about Thomas. I fondly remember those years in Darmstadt, and enjoyed talking with him about things like Dialectica and Krivine's realizability (topics on which he wrote several very nice papers). But more importantly, he was a fantastic colleague, a really lovely person, and just fun to be around.
=> More informations about this toot | View the thread | More toots from thomaspowell@mathstodon.xyz
=> View buchholtz@mathstodon.xyz profile
text/geminiThis content has been proxied by September (ba2dc).