Kleene fixpoint theorem

From Free net encyclopedia