@Jon Sterling
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.
Relays (1)
- wss://relay.ditto.pub – read & write