Re: Phil Scott

[andrej.bauer@andrej.com]

It must have been 1991 or 1992. I was a mathematics major at the University of Ljubljana. During a visit in Zurich I walked into the ETH bookstore. There was a book there with a magical title:

“Introduction to Higher-order Categorical Logic”

I had always been interested in logic, but I never could find any sources about higher-order logic, let alone one that used the fancy thing called category theory. This was the most influential book I ever bought. It was my introduction to category theory. And the λ-calculus. And higher-order logic. I didn’t understand any of it until much later.

When I was a senior my professor Marko Petkovšek, a student of Dana Scott, asked me whether I’d be interested in applying to CMU to study under Dana Scott. My reply was: “Is this the Dana Scott of the D infinity construction from the Introduction to Higher-Order Categorical Logic book?”

Thank you, Phil, you will be missed.

Andrej Bauer



----------

You're receiving this message because you're a member of the Categories mailing list group from Macquarie University.

Leave group:
https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b