Total sets and objects in domain theory (1993)

by U Berger
Venue:Ann. Pure Appl. Logic