Introduction to Domain Theory, lecture notes by Graham Hutton

42 views
Skip to first unread message

Bernie Pope

unread,
Mar 18, 2012, 8:07:47 PM3/18/12
to fpu...@googlegroups.com
I found these lecture notes on Domain Theory by Graham Hutton to be quite useful:

http://www.cs.nott.ac.uk/~gmh/domains.html

Cheers,
Bernie.

Lee Naish

unread,
Mar 18, 2012, 9:17:42 PM3/18/12
to fpu...@googlegroups.com

In message <1739E5DA-AA5C-4DA5...@unimelb.edu.au> Bernie wrote:
>I found these lecture notes on Domain Theory by Graham Hutton to be quite usef
>ul:
>
> http://www.cs.nott.ac.uk/~gmh/domains.html

Thanks Bernie - I'll check it out. I've also recently looked at a
revised version of S. Abramsky, A. Jung (1994). "Domain theory". In S.
Abramsky, D. M. Gabbay, T. S. E. Maibaum, editors. Handbook of
Logic in Computer Science. III. Oxford University Press. ISBN
0-19-853762-X:

http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf

lee

Reply all
Reply to author
Forward
0 new messages