Jon Sterling
@jonmsterling@mathstodon.xyz
I am an Associate Professor in Logical Foundations and Formal Methods at the Cambridge Computer Laboratory, and a Fellow of Clare College. I like categories, domains, and vintage computing.
mathstodon.xyz
Jon Sterling
@jonmsterling@mathstodon.xyz
I am an Associate Professor in Logical Foundations and Formal Methods at the Cambridge Computer Laboratory, and a Fellow of Clare College. I like categories, domains, and vintage computing.
mathstodon.xyz
@jonmsterling@mathstodon.xyz
·
Mar 29, 2026
@chrisamaphone I am a little embarrassed to note that I only realised this from reading your post... But glad to be in good company.
View full thread on mathstodon.xyz
4
0
0
Loading comments...