The "Dialectica" Interpretation and Categories. - Philip J. Scott (Math. Log. Q., 1978)

Intuitionist type theory and foundations. - Joachim Lambek; Philip J. Scott (J. Philos. Log., 1981)

New Proofs of Some Intuitionistic Principles. - Joachim Lambek; Philip J. Scott (Math. Log. Q., 1983)

Lambda-Algebras and C-Monoids. - William S. Hatcher; Philip J. Scott (Math. Log. Q., 1986)

Semantic Parametricity in Polymorphic Lambda Calculus - Peter J. Freyd; Jean-Yves Girard 001; Andre Scedrov; Philip J. Scott (LICS, 1988)

Completeness Proofs for Propositional Logic with Polynomial-Time Connectives. - John N. Crossley; Philip J. Scott (Ann. Pure Appl. Log., 1989)

Functorial Polymorphism. - Edwin Stewart Bainbridge; Peter J. Freyd; Andre Scedrov; Philip J. Scott (Theor. Comput. Sci., 1990)

A Hyperdoctrinal View of Concurrent Constraint Programming. - Prakash Panangaden; Vijay A. Saraswat; Philip J. Scott; Robert A. G. Seely (REX Workshop, 1992)

Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability. - Jean-Yves Girard 001; Andre Scedrov; Philip J. Scott (Theor. Comput. Sci., 1992)

On the pi-Calculus and Linear Logic. - Gianluigi Bellin; Philip J. Scott (Theor. Comput. Sci., 1994)

A Logical View of Concurrent Constraint Programming. - Nax Paul Mendler; Prakash Panangaden; Philip J. Scott; Robert A. G. Seely (Nord. J. Comput., 1995)

Linear Läuchli Semantics. - Richard Blute; Philip J. Scott (Ann. Pure Appl. Log., 1996)

A Noncommutative Full Completeness Theorem. - Richard Blute; Philip J. Scott (Linear Logic Tokyo Meeting, 1996)

The Shuffle Hopf Algebra and Noncommutative Full Completeness. - Richard Blute; Philip J. Scott (J. Symb. Log., 1998)

Normalization and the Yoneda Embedding. - Djordje Cubric; Peter Dybjer; Philip J. Scott (Math. Struct. Comput. Sci., 1998)

Introduction. - Michael Barr; Philip J. Scott; Robert A. G. Seely (Math. Struct. Comput. Sci., 2000)

Normalization by Evaluation for Typed Lambda Calculus with Coproducts. - Thorsten Altenkirch; Peter Dybjer; Martin Hofmann 001; Philip J. Scott (LICS, 2001)

Geometry of Interaction and Linear Combinatory Algebras. - Samson Abramsky; Esfandiar Haghverdi; Philip J. Scott (Math. Struct. Comput. Sci., 2002)

From Geometry of Interaction to Denotational Semantics. - Esfandiar Haghverdi; Philip J. Scott (CTCS, 2004)

Realizability models for BLL-like languages. - Martin Hofmann 001; Philip J. Scott (Theor. Comput. Sci., 2004)

Softness of hypercoherences and MALL full completeness. - Richard Blute; Masahiro Hamano; Philip J. Scott (Ann. Pure Appl. Log., 2005)

An Exactification of the Monoid of Primitive Recursive Functions. - Joachim Lambek; Philip J. Scott (Stud Logica, 2005)

A categorical model for the geometry of interaction. - Esfandiar Haghverdi; Philip J. Scott (Theor. Comput. Sci., 2006)

Traces, Feedback, and the Geometry of Computation (Abstract). - Philip J. Scott (FCT, 2007)

A categorical semantics for polarized MALL. - Masahiro Hamano; Philip J. Scott (Ann. Pure Appl. Log., 2007)

Proofs as Polynomials. - Esfandiar Haghverdi; Philip J. Scott (MFPS, 2008)

Developing a Theoretical Model of Clinician Information Usage Propensity. - Philip J. Scott; James S. Briggs (MIE, 2009)

Towards a typed Geometry of Interaction. - Esfandiar Haghverdi; Philip J. Scott (Math. Struct. Comput. Sci., 2010)

How Important is Theory in Health Informatics? A Survey of UK Academics. - Philip J. Scott; James S. Briggs; Jeremy Wyatt; Andrew Georgiou (MIE, 2011)

Simplifying HL7 Version 3 messages. - Robert Worden; Philip J. Scott (MIE, 2011)

Semantic mapping to simplify deployment of HL7 v3 Clinical Document Architecture. - Philip J. Scott; Robert Worden (J. Biomed. Informatics, 2012)

Presheaf Models of Quantum Computation: An Outline. - Octavio Malherbe; Philip J. Scott; Peter Selinger (Computation, Logic, Games, and Quantum Foundations, 2013)

Federated Identity and Access Management for the Internet of Things. - Paul Fremantle; Benjamin Aziz; Jacek Kopecký; Philip J. Scott (SIoT, 2014)

A security survey of middleware for the Internet of Things. - Paul Fremantle; Philip J. Scott (PeerJ Prepr., 2015)

Theoretical Foundations for Evidence-Based Health Informatics: Why? How? - Philip J. Scott; Andrew Georgiou; Hannele Hyppönen; Catherine K. Craven; Michael Rigby; Jytte Brender McNair (MIE, 2016)

Measuring the operational impact of digitized hospital records: a mixed methods study. - Philip J. Scott; Paul J. Curley; Paul B. Williams; Ian P. Linehan; Steven H. Shaha (BMC Medical Informatics Decis. Mak., 2016)

How to Teach Health IT Evaluation: Recommendations for Health IT Evaluation Courses. - Elske Ammenwerth; Nicolet De Keizer; Jytte Brender McNair; Catherine K. Craven; Eric L. Eisenstein; Andrew Georgiou; Saif S. Khairat; Farah Magrabi; Pirkko Nykänen; Paula Otero; Michael Rigby; Philip J. Scott; et al. (GMDS, 2017)

Formalizing Abstract Computability: Turing Categories in Coq. - Polina Vinogradova; Amy P. Felty; Philip J. Scott (LSFA, 2017)

A survey of secure middleware for the Internet of Things. - Paul Fremantle; Philip J. Scott (PeerJ Prepr., 2017)

Team Competencies and Educational Threshold Concepts for Clinical Information Modelling. - Philip J. Scott; Kai U. Heitmann (EFMI-STC, 2018)

Finiteness Spaces and Generalized Power Series. - Richard Blute; J. Robin B. Cockett; Pierre-Alain Jacqmin; Philip J. Scott (MFPS, 2018)

Isotropy of Algebraic Theories. - Pieter J. W. Hofstra; Jason Parker; Philip J. Scott (MFPS, 2018)

On geometry of interaction for polarized linear logic. - Masahiro Hamano; Philip J. Scott (Math. Struct. Comput. Sci., 2018)

A review of measurement practice in studies of clinical decision support systems 1998-2017. - Philip J. Scott; Angela W. Brown; Taiwo Adedeji; Jeremy C. Wyatt; Andrew Georgiou; Eric L. Eisenstein; Charles P. Friedman (J. Am. Medical Informatics Assoc., 2019)

Towards Formal Verification of Program Obfuscation. - Weiyun Lu; Bahman Sistany; Amy P. Felty; Philip J. Scott (EuroS&P Workshops, 2020)

Digital health and patient safety: Technology is not a magic wand. - Mark Sujan; Philip J. Scott; Kathrin M. Cresswell (Health Informatics J., 2020)

Polymorphic Automorphisms and the Picard Group. - Pieter J. W. Hofstra; Jason Parker; Philip J. Scott (FSCD, 2021)

Experiences of Creating Computable Knowledge Tutorials Using HL7 Clinical Quality Language. - Elisavet Andrikopoulou; Philip J. Scott (EFMI-STC, 2022)

What Personal Health Records are People with Long-Term Conditions Using? - Elisavet Andrikopoulou; Philip J. Scott (HCI (37), 2022)

Personal Health Records an Approach to Answer: What Works for Whom in What Circumstances? - Elisavet Andrikopoulou; Philip J. Scott (MIE, 2022)

Barriers, Priorities and Lessons Learned in Achieving Electronic Health Records Interoperability in Low- and Middle-Income Countries: Workshop Findings. - Taiwo Adedeji; Haythem Nakkas; Hamish Fraser 001; Philip J. Scott (MIE, 2023)

Automating Electronic Health Record Data Quality Assessment. - Obinwa Ozonze; Philip J. Scott; Adrian A. Hopgood (J. Medical Syst., 2023)