The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Philip J. Scott: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Esfandiar Haghverdi, Philip J. Scott
    Towards a Typed Geometry of Interaction. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:216-231 [Conf]
  2. Esfandiar Haghverdi, Philip J. Scott
    A Categorical Model for the Geometry of Interaction. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:708-720 [Conf]
  3. Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, Philip J. Scott
    Normalization by Evaluation for Typed Lambda Calculus with Coproducts. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:303-310 [Conf]
  4. Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott
    Semantic Parametricity in Polymorphic Lambda Calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:274-279 [Conf]
  5. Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, R. A. G. Seely
    A Hyperdoctrinal View of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:457-476 [Conf]
  6. Richard Blute, Masahiro Hamano, Philip J. Scott
    Softness of hypercoherences and MALL full completeness. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:131, n:1-3, pp:1-63 [Journal]
  7. Richard Blute, Philip J. Scott
    Linear Läuchli Semantics. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1996, v:77, n:2, pp:101-142 [Journal]
  8. John N. Crossley, Philip J. Scott
    Completeness Proofs for Propositional Logic with Polynomial-Time Connectives. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1989, v:44, n:1-2, pp:39-52 [Journal]
  9. Masahiro Hamano, Philip J. Scott
    A categorical semantics for polarized MALL. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2007, v:145, n:3, pp:276-313 [Journal]
  10. Richard Blute, Philip J. Scott
    A Noncommutative Full Completeness Theorem. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  11. Esfandiar Haghverdi, Philip J. Scott
    From Geometry of Interaction to Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:122, n:, pp:67-87 [Journal]
  12. Richard Blute, Philip J. Scott
    The Shuffle Hopf Algebra and Noncommutative Full Completeness. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1413-1436 [Journal]
  13. Samson Abramsky, Esfandiar Haghverdi, Philip J. Scott
    Geometry of Interaction and Linear Combinatory Algebras. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:5, pp:625-665 [Journal]
  14. Djordje Cubric, Peter Dybjer, Philip J. Scott
    Normalization and the Yoneda Embedding. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1998, v:8, n:2, pp:153-192 [Journal]
  15. Michael Barr, Philip J. Scott, R. A. G. Seely
    Introduction. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:97-98 [Journal]
  16. N. P. Mendler, Prakash Panangaden, Philip J. Scott, R. A. G. Seely
    A Logical View of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:181-220 [Journal]
  17. Joachim Lambek, Philip J. Scott
    An Exactification of the Monoid of Primitive Recursive Functions. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:81, n:1, pp:1-18 [Journal]
  18. E. S. Bainbridge, Peter J. Freyd, Andre Scedrov, Philip J. Scott
    Functorial Polymorphism. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:70, n:1, pp:35-64 [Journal]
  19. Gianluigi Bellin, Philip J. Scott
    On the pi-Calculus and Linear Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:1, pp:11-65 [Journal]
  20. Jean-Yves Girard, Andre Scedrov, Philip J. Scott
    Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:97, n:1, pp:1-66 [Journal]
  21. Esfandiar Haghverdi, Philip J. Scott
    A categorical model for the geometry of interaction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:350, n:2-3, pp:252-274 [Journal]
  22. Martin Hofmann, Philip J. Scott
    Realizability models for BLL-like languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:318, n:1-2, pp:121-137 [Journal]
  23. Philip J. Scott
    Traces, Feedback, and the Geometry of Computation (Abstract). [Citation Graph (0, 0)][DBLP]
    FCT, 2007, pp:39- [Conf]

  24. Developing a Theoretical Model of Clinician Information Usage Propensity. [Citation Graph (, )][DBLP]


  25. Proofs as Polynomials. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002