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:

- Joachim Lambek, Philip J. Scott,
*Introduction to higher order categorical logic*, Cambridge Studies in Advanced Mathematics 7 (1986) (ISBN: 0-521-24665-2)

On categorical semantics of linear type theory:

- Richard Blute, Philip Scott,
*Category theory for linear logicians*, in:*Linear Logic in Computer Science*, Cambridge University Press (2004) 3-64 [doi:10.1017/CBO9780511550850.002, pdf]

category: people

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