LARA Exercise 11: Fixpoint example. Fixpoint theorems. Transition system Continuing Lecture 09 (In fact, this is mostly a lecture, not exercise.) Introductory Example Tarski's Fixpoint Theorem Galois Connection some exercises are here. Transition System Continued in Labs 11
