Fixpoint Approach to the Theory of Computation.

Zohar Manna, Jean Vuillemin

Browse the full ICALP paper archive.