Relational Properties of Domains (1996)

by Andrew M. Pitts
Venue:Information and Computation
Citations:114 - 6 self