On diagonal fixed points of increasing functions

L Colson (1)

1 LIGM - Laboratoire d'Informatique Gaspard-Monge

It 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.

Domaines: Automatique

L Colson. On diagonal fixed points of increasing functions. Theoretical Computer Science, 1999, 222 (1-2), pp.181--186. ⟨10.1016/S0304-3975(98)00331-4⟩. ⟨hal-00693893⟩