WEEK 48:
· CPOs of continuous maps continued
· Factorial and fixpoints on CPOs
· Fixpoint theorems
Material: Chapter 8
Homework: 8.3, 8.5, [8.7,8.8 – turn in either]*, 8.9*, 8.10, 8.12*, 8.13 plus the following exercise:
* Give and example of an increasing map F on a CPO which has no least fixpoint.