Philip J. Scott
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1988–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | HCI | What Personal Health Records are People with Long-Term Conditions Using? | Elisavet Andrikopoulou, Philip J. Scott |
| 2021 | FSCD | Polymorphic Automorphisms and the Picard Group. | Pieter J. W. Hofstra, Jason Parker, Philip J. Scott |
| 2007 | FCT | Traces, Feedback, and the Geometry of Computation (Abstract). | Philip J. Scott |
| 2005 | CSL | Towards a Typed Geometry of Interaction. | Esfandiar Haghverdi, Philip J. Scott |
| 2004 | ICALP | A Categorical Model for the Geometry of Interaction. | Esfandiar Haghverdi, Philip J. Scott |
| 2001 | LICS | Normalization by Evaluation for Typed Lambda Calculus with Coproducts. | Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, Philip J. Scott |
| 1988 | LICS | Semantic Parametricity in Polymorphic Lambda Calculus | Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott |