On diagonal fixed points of increasing functions - Archive ouverte HAL Access content directly
Journal Articles Theoretical Computer Science Year : 1999

On diagonal fixed points of increasing functions

Abstract

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.

Dates and versions

hal-00693893 , version 1 (03-05-2012)

Identifiers

Cite

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⟩
43 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More