T ω as a universal domain (0)

by G Plotkin
Venue:Journal of Computer and System Sciences