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: Scott:Dana_S=
Contributed to:
1998
199619901989
1982
1985Wrote 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.
- LICS-1990-FreydMRS
- 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.