Some Papers of P.J. Scott
Final published (and expanded) versions of the preprints below have copyrights
mostly owned by the publisher. Preprints are available here for personal
and nonprofit use. Redistribution and commercial use is not allowed
without expressed permission of the copyright holder.
Unfortunately I do not have downloadable versions of all my papers.
Papers are in a mixture of .ps and .pdf formats.
 Various Research Papers
 Normal Forms and CutFree Proofs as Natural
Transformations (with J.Y. Girard & A. Scedrov), appeared in:
Logic from Computer Science, MSRI publications, V. 21, SpringerVerlag (1992),
pp. 217241. (.ps version)
 On the
PiCalculus and Linear Logic (with G. Bellin) appeared in:
Theoretical Computer Science, 135 (1994), pp. 1165. (.ps version)
 Linear Lauchli Semantics (with R.F. Blute)
appeared in: Ann. Pure & Applied Logic, 77 (1996), pp. 101142. (.pdf)
 The Shuffle Hopf Algebra and Noncommutative
Full Completeness (with R.F. Blute) appeared in:
J. Symbolic Logic, v. 63, No.4, 1998, pp. 14131436. (.pdf) also available
gzipped .ps version
 The Shuffle Hopf Algebra and Noncommutative
Full Completeness (A4version) (with R.F. Blute)
 Normalization and the Yoneda Embedding
(with D. Cubric and P. Dybjer) appeared in: Math. Structures in
Computer Science, V. 8, No.2, 1998, pp. 153192. (.ps version) (Here's a .pdf version):
Normalization and the Yoneda Embedding (.pdf version)

A Note on Rewriting Theory for Uniqueness of Iteration
(with M. Okada) appeared in: Theory and Applications of Categories, Vol. 6, 1999, No. 4, pp. 4764.
 Normalization by evaluation for typed lambda calculus
with coproducts (with T. Altenkirch, P. Dybjer, M. Hofmann), appeared in:
LICS 2001, IEEE Press. pp. 303310. (.ps version)
 Realizability models for BLLlike languages
(with M. Hofmann ) appeared in: Theoretical Comp. Science, V.318, 2004, pp. 121137. (.ps version)
 Softness of Hypercoherences and MALL Full Completeness (with R. Blute and M. Hamano)
and also .ps version appeared in: Ann. Pure and Applied Logic, 131 (2005), pp. 163.
 An exactification of the monoid of primitive recursive functions (with J. Lambek)
and also .ps version . Appeared in:
Studia Logica 81,2005, pp. 118

A categorical semantics for Polarized MALL (with M. Hamano), appeared in: Ann. Pure & Applied Logic, 145 (2007), pp. 276313. (.pdf version)

Reflections on a Categorical Foundations
of Mathematics (with J. Lambek) (2009), published in: Foundational Theories of
Classical and Constructive Mathematics, G. Sommaruga, ed., Springer Western Ontario Series in Philosophy
of Science, 2011, pp. 171185.
 Survey Articles
 Geometry of Interaction
 Geometry of Interaction and Linear Combinatory Algebras
(with S. Abramsky and E. Haghverdi). Appeared in: Math. Structures in Computer Science, V. 12 (2002), pp. 140. (.ps version)
 A Categorical Model for the Geometry of Interaction (with Esfandiar Haghverdi) ICALP 2004, SLNCS 3142, pp. 708720.
(.pdf version)
and also .ps version
 A Categorical Model for the Geometry of Interaction (full paper) (with
Esfandiar Haghverdi), Theoretical Computer Science, Volume 350, Issues 23 , Feb 2006, pp. 252274 (.pdf version). Also available as
.ps version
 From Geometry of Interaction to Denotational Semantics (with Esfandiar Haghverdi),
in CTCS 2004. In ENTCS, vol. 122, pp. 6787. Elsevier (.ps version)
 P. Scott: Tutorial on Geometry of Interaction (from FMCS 2004)
 Towards a Typed Geometry of Interaction
(with Esfandiar Haghverdi),
CSL2005 (Computer Science Logic), Luke Ong, Ed. SLNCS 3634, pp. 216231.
(.pdf version)
 Proofs as Polynomials (with Esfandiar Haghverdi)
.pdf version
(Final Version
published in Springer's ENTCS,
Volume 218, 22 October 2008, Pages 5372.)(Proc. MFPS XXIV)
 Geometry of Interaction and the dynamics
of proof reduction: a tutorial
(with Esfandiar Haghverdi) (in Springer Lecture Notes in Physics 813 (2011) pp.
357417.
 Towards a Typed Geometry of Interaction
(with Esfandiar Haghverdi) (MSCS 20(3), 2010, pp. 149. )
 Partially Traced Categories,
(with Octavio Malherbe and Peter Selinger).
J. Pure and Applied Algebra, V.216 (12), December 2012, pp. 25632585.
 Lecture: Partially Traced Categories
 On geometry of interaction for polarized linear logic (with M. Hamano) Preliminary version. Final version to appear in:
Mathematical Structures in CS, Cambridge U. Press, 28 September 2017.
 Quantum Computing
 Presheaf models of quantum computation: an outline
(with Octavio Malherbe and Peter Selinger) (arXiv, Feb. 24, 2013).
In Bob Coecke, Luke Ong, Prakash Panangaden, editors, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky. Lecture Notes in Computer Science 7860:178194, Springer, 2013.
 Categorical traces from singlephoton linear optics.
(with P. Hines). In: Mathematical Foundations of Information Flow, Proceedings of
Symposia in Applied Mathematics, Vol. 71, American Math. Soc., 2012, pp. 89123.
 MV and Effect Algebras
 Recursion Theory and Formal Methods
phil@site.uottawa.ca