A theory of fixed points
Overview
Introduction
Definitions
Least Fixed Points
Greatest Fixed Points
Inductive Definitions
Coding Constructors
Proof Context
©
V