T ω as a universal domain (1978)

by Gordon Plotkin
Venue:Journal of Computer and System Sciences