BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
4 × USA
Collaborated with:
G.Rosolini W.L.Scherlis L.Birkedal A.Carboni P.J.Freyd P.Mulry
Talks about:
semant (2) domain (2) extension (1) categori (1) summari (1) program (1) theori (1) deduct (1) achiev (1) logic (1)

Person: Dana S. Scott

DBLP DBLP: Scott:Dana_S=

Contributed to:

LICS 19981998
CADE 19961996
LICS 19901990
LICS 19891989
ICALP 19821982
TAPSOFT, Vol.1: AS 19851985

Wrote 6 papers:

LICS-1998-BirkedalCRS #category theory #type system
Type Theory via Exact Categories (LB, AC, GR, DSS), pp. 188–198.
CADE-1996-Scott #automation #deduction #question #what
What Can We Hope to Achieve From Automated Deduction? (DSS), p. 245.
Extensional PERs (PJF, PM, GR, DSS), pp. 346–354.
LICS-1989-Scott #logic
Domains and Logics (DSS), pp. 4–5.
ICALP-1982-Scott #semantics
Domains for Denotational Semantics (DSS), pp. 577–613.
AS-1985-ScherlisS #programming #semantics #summary #tool support
Semantically Based Programming Tools (Summary) (WLS, DSS), pp. 52–59.

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.