May God bless you and your...
I'm quite missing Ken lately. He would have loved the upsurge of interest in proof assistants in the mathematical community. The first time I ever heard about the lambda calculus was when Ken was proudly telling me about (his son) Andrew's thesis.
Jon Bannon
April 14, 2024 | Clifton Park, NY | Student