Relational properties of domains (1996)

by A M Pitts
Venue:Inf. Comput