A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions

This chapter contains sections titled: Introduction, Fixed Point Operators, Elements of an Inductive or Coinductive Definition, Induction and Coinduction Rules, Examples of Inductive and Coinductive Definitions, Datatypes and Codatatypes, Related Work, Conclusions and Future Work, References