Partial Orders and Fixpoints

This chapter is devoted to the introduction of the foundations of the denotational semantics of computer languages. The concepts of complete partial orders with bottom and of monotone and continuous functions are introduced and then the main fixpoint theorem is presented. The chapter is concluded by studying the immediate consequence operator, which is used to relate logical systems and fixpoint theory.