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

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