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):
On categorical semantics of linear type theory:
Last revised on December 25, 2023 at 08:09:09. See the history of this page for a list of all contributions to it.