M.: “A Convenient Category of Domains (2007)

by A Simpson, I Battenfeld, Schröder
Venue:Electronic Notes in Theoretical Computer Science 172