On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms

Asier Estevan, Juan-José Minãna, Oscar Valero

The celebrated Kleene fixed point theorem is crucial in the mathematical modelling of recursive specifications in Denotational Semantics. In this paper we discuss whether the hypot…