Lectures on [Co]Induction and [Co]Algebras
暂无分享,去创建一个
These notes give an introduction to the ideas of Induction and Coinduction at the level of partially ordered sets, and at a categorical level. Knowledge of partial orders and basic category theory will be assumed. We illustrate the use of Induction and Coinduction for partially ordered sets in programming language semantics. These notes were originally written for a short course of lectures in 1998. This version is a reprint, but with a few minor corrections.