I'm a computer programmer who's caught on to denotational semantics. I mostly work with Ruby, JavaScript and C, but I know a little Haskell and ML. I've taken my first steps towards reasoning about what my software *means*, but my knowledge of domain theory is weak. DCPOs, chains, new notation – can you recommend a coherent introduction to this stuff?



Resources for learning domain theory?
The [book recommended by jef](https://mathoverflow.net/a/24677/49269) is the domain-theory bible. It may be a bit overwhelming for a beginner. For an easier and more compressed introduction I recommend that you have a look at Abramsky and Jung's chapter on domain theory from the Handbook of Logic in Computer Science. It is [available in PDF](https://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf) from [Achim's publications](https://www.cs.bham.ac.uk/~axj/papers.html) lits.


