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 Cut-Free Proofs as Natural Transformations (with J.Y. Girard & A. Scedrov), appeared in: Logic from Computer Science, MSRI publications, V. 21, Springer-Verlag (1992), pp. 217-241. (.ps version)
- On the Pi-Calculus and Linear Logic (with G. Bellin) appeared in: Theoretical Computer Science, 135 (1994), pp. 11-65. (.ps version)
- Linear Lauchli Semantics (with R.F. Blute) appeared in: Ann. Pure & Applied Logic, 77 (1996), pp. 101-142. (.pdf)
- The Shuffle Hopf Algebra and Noncommutative Full Completeness (with R.F. Blute) appeared in: J. Symbolic Logic, v. 63, No.4, 1998, pp. 1413-1436. (.pdf) also available gzipped .ps version
- The Shuffle Hopf Algebra and Noncommutative Full Completeness (A4-version) (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. 153-192. (.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. 47-64.
- Normalization by evaluation for typed lambda calculus with coproducts (with T. Altenkirch, P. Dybjer, M. Hofmann), appeared in: LICS 2001, IEEE Press. pp. 303-310. (.ps version)
- Realizability models for BLL-like languages (with M. Hofmann ) appeared in: Theoretical Comp. Science, V.318, 2004, pp. 121-137. (.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. 1-63.
- An exactification of the monoid of primitive recursive functions (with J. Lambek) and also .ps version . Appeared in: Studia Logica 81,2005, pp. 1--18
- A categorical semantics for Polarized MALL (with M. Hamano), appeared in: Ann. Pure & Applied Logic, 145 (2007), pp. 276-313. (.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. 171-185.
Survey Articles
- Some Aspects of Categories in Computer Science (Tech Report: Final Version in Handbook of Algebra, Vol.2 (2000), Elsevier.) (.ps version)
- Category Theory for Linear Logicians (with R. Blute); (.pdf version). Also available as .ps version . Final version appeared in: Linear Logic in Computer Science, LMS Lecture Note Series 316, 2004, Camb. U. Press.
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. 1-40. (.ps version)
- A Categorical Model for the Geometry of Interaction (with Esfandiar Haghverdi) ICALP 2004, SLNCS 3142, pp. 708-720. (.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 2-3 , Feb 2006, pp. 252-274 (.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. 67-87. 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. 216-231. (.pdf version)
- Proofs as Polynomials (with Esfandiar Haghverdi) .pdf version
  (Final Version published in Springer's ENTCS, Volume 218, 22 October 2008, Pages 53-72.)(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. 357-417.
- Towards a Typed Geometry of Interaction (with Esfandiar Haghverdi) (MSCS 20(3), 2010, pp. 1--49. )
- Partially Traced Categories, (with Octavio Malherbe and Peter Selinger). J. Pure and Applied Algebra, V.216 (12), December 2012, pp. 2563-2585.
  Lecture: Partially Traced Categories, .
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:178-194, Springer, 2013.
- Categorical traces from single-photon linear optics. (with P. Hines). In: Mathematical Foundations of Information Flow, Proceedings of Symposia in Applied Mathematics, Vol. 71, American Math. Soc., 2012, pp. 89-123.
MV and Effect Algebras
- Coordinatizing MV-Algebras (Talk for Prakashfest, Oxford, May 23-25, 2014) (paper: in preparation)
- AF inverse monoids and the structure of countable MV-algebras (with Mark Lawson) (arXiv, Aug. 6, 2014).
Other Talks
- From Godel to Lambek. Talk at CRM, U. Montreal, Sept, 2013 in honour of J. Lambek's 91st birthday.

phil@site.uottawa.ca