The theory of fixed points in GST
Overview
Introduction
Monotonicity and Closure Definitions
Least Closure and Fixed Point Definitions
Monotonicity and Closure Lemmas
Least Fixed Point Lemmas
Least Fixed Point Theorem and Definition
Induction
Proof Context