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):

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

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 April 8, 2023 at 18:55:09. See the history of this page for a list of all contributions to it.