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:
On categorical semantics of linear type theory:
Last revised on August 7, 2022 at 22:51:10. See the history of this page for a list of all contributions to it.