Operational domain theory and topology of a sequential programming language (2005)

by M H Escardó, W K Ho
Venue:In Proceedings of the 20th Annual IEEE Symposium on Logic In Computer Science