Relational Properties of Domains (1996)

by Andrew M. Pitts
Venue:Information and Computation