The largest first-order axiomatizable cartesian closed category of domains (1986)

by C Gunter
Venue:In Symposium on Logic in Computer Science