The explosive development of theoretical computer science in recent years has influenced this new edition: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently.
Classroom experience has led to numerous pedagogical improvements and many new exercises have been added..
The explosive development of theoretical computer science in recent years has influenced this new edition: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently