BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × USA
2 × United Kingdom
Collaborated with:
E.Haghverdi T.Altenkirch P.Dybjer M.Hofmann P.J.Freyd J.Girard A.Scedrov
Talks about:
interact (2) geometri (2) calculus (2) type (2) polymorph (1) coproduct (1) parametr (1) categor (1) toward (1) semant (1)

Person: Philip J. Scott

DBLP DBLP: Scott:Philip_J=

Contributed to:

CSL 20052005
ICALP 20042004
LICS 20012001
LICS 19881988

Wrote 4 papers:

CSL-2005-HaghverdiS #geometry #interactive #towards
Towards a Typed Geometry of Interaction (EH, PJS), pp. 216–231.
ICALP-2004-HaghverdiS #category theory #geometry #interactive
A Categorical Model for the Geometry of Interaction (EH, PJS), pp. 708–720.
LICS-2001-AltenkirchDHS #evaluation #normalisation #λ-calculus
Normalization by Evaluation for Typed λ Calculus with Coproducts (TA, PD, MH, PJS), pp. 303–310.
LICS-1988-FreydGSS #parametricity #polymorphism #semantics #λ-calculus
Semantic Parametricity in Polymorphic λ Calculus (PJF, JYG, AS, PJS), pp. 274–279.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.