The largest cartesian closed category of domains (1983)

by M B Smyth
Venue:Theoretical Computer Science