Continuous functions and parallel algorithms on concrete data structures (1991)

by S Brookes, S Geva
Venue:In Mathematical Foundations of Programming Semantics, 7 th International Conference, Carnegie Mellon