Complete cuboidal sets in axiomatic domain theory (1997)

by M P Fiore, G D Plotkin, A J Power
Venue:In LICS '97, Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science