I am very saddened to hear about the passing of Thomas Streicher. His work with Martin Hofmann and others on classical logic and continuation models were central and brought together different communities in logic and semantics.
=> More informations about this toot | View the thread | More toots from gadmm@mathstodon.xyz
text/geminiThis content has been proxied by September (3851b).