Topical categories of domains (1999)

by S J Vickers
Venue:Mathematical Structures in Computer Science 9