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.
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.
Pure Type Systems are a Thought-Prevention Framework.
It is not often that I would ever advocate for book-burning...
But this stuff keeps coming up again and again with students, because they Google type theory and still find PTS and the lambda cube. Cubical idealism has become a poison...
Loading comments...