Tω as a universal domain (1978)

by G Plotkin
Venue:Journal of Computer and System Sciences