Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed.

Robert Ennals

Browse the full ICFP paper archive.