On Fixpoint Arithmetic and Infinite Time Turing Machines

Giacomo Lenzi, Erich Monteleone. On Fixpoint Arithmetic and Infinite Time Turing Machines. Inf. Process. Lett., 91(3):121-128, 2004. [doi]

Abstract

Abstract is missing.