The Topology of Program Termination

Robert Cartwright, Alan J. Demers

Browse the full LICS paper archive.