Philip Scott is a Canadian based researcher with research interests in mathematical logic, category theory, foundations of mathematics and computing, and in theoretical computer science.
Not to be confused with Dana Scott.
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 April 8, 2023 at 18:55:09. See the history of this page for a list of all contributions to it.