These are the lecture notes by Winskel I mentioned 30 seconds ago https://www.cl.cam.ac.uk/~gw104/dens.pdf -- -Andrew -------------- next part -------------- HTML attachment scrubbed and removed