Towards a computational treatment of time