A purely definitional universal domain (0)

by B Huffman
Venue:In Berghofer et al