nLab Philip Scott

Selected writings

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.

Selected writings

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

On categorical semantics of linear type theory:

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.