On the non-sequential nature of the interval-domain model of real-number computation (0)

by M H Escardó, M Hofmann, T Streicher
Venue:Mathematical Structures in Computer Science