Relational properties of domains (1996)

by A Pitts
Venue:Information and Computation