Relational properties of domains (1996)

by A M Pitts
Venue:Information and Computation