nLab Philip Scott

Selected writings

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.

Selected writings

On categorical logic and topos theory:

On categorical semantics of linear type theory:

category: people

Last revised on August 7, 2022 at 22:51:10. See the history of this page for a list of all contributions to it.