Not to be confused with Dana Scott.

Philip Scott (1947 - 2023) was Professor of Mathematics at University of Ottawa, with research interests in formal logic, category theory, foundations of mathematics and computing, and in theoretical computer science. His monograph Lambek & Scott 1986 laid the foundation of modern categorical logic.

On categorical logic and topos theory (and establishing the relation between simply-typed lambda calculus and cartesian closed categories):

- Joachim Lambek, Philip J. Scott,
*Introduction to higher order categorical logic*, Cambridge Studies in Advanced Mathematics**7**(1986) [ISBN: 0-521-24665-2, pdf]

On categorical semantics of linear type theory:

- Richard Blute, Philip Scott,
*Category theory for linear logicians*, in:*Linear Logic in Computer Science*, Cambridge University Press (2004) 3-64 [doi:10.1017/CBO9780511550850.002, pdf]

category: people

Last revised on December 25, 2023 at 08:09:09. See the history of this page for a list of all contributions to it.