This and other papers of Escardo can be found at http://www.cs.bham.ac.uk/∼mhe/papers (1996)

by S Jourdan Edalat, G McCusker
Venue:Proceedings 3rd Workshop on Theory and Formal Methods, IC Press, pp 13–24