Total sets and objects in domain theory (1993)

by U Berger
Venue:Annals of Pure and Applied Logic