[Announcement] more on domain theory

[KihongHeo]

Hi,

1. I added the proof about the function CPO. See page 44 in slides/lecture3.pdf. I will explain the details in the next lecture. Notice that you may be able to design a new CPO in a different way. The point of slides 40-44 is to introduce a framework to simply reuse the existing ones.

2. One student asked whether there exists a textbook for domain theory. This one may be one option.