4 research outputs found
On diagonal fixed points of increasing functions
International audienceIt is shown that the least fixed point and greatest fixed point operations of an increasing function a of two arguments over a complete lattice commute if the function is right-associative. (C) 1999 Published by Elsevier Science B.V. All rights reserved