No CrossRef data available.
Article contents
Fixed Points as Equations and Solutions
Published online by Cambridge University Press: 20 November 2018
Extract
In the literature about the definition of data types there exist many approaches using some concept of fixed point. Wand [13] and Lehmann, Smyth [9] e.g. constructed data types as least fixed points of functors F:K → K. Arbib and Manes [3] showed that some data types turn out to be the greatest fixed points of such endofunctors. In this paper we regard least and greatest fixed points that have a given property.
- Type
- Research Article
- Information
- Copyright
- Copyright © Canadian Mathematical Society 1984