Topology‚ computer science and the mathematics of convergence
A. W. Roscoe
Book Title
Topology and Category Theory in Computer Science
Editor
G.M. Reed and A. W. Roscoe and R.F. Wachter
Publisher
OUP
Year
1991
A. W. Roscoe