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=6bf90c14-94d1-45b7-a0b5-9dd447734d27