Total Sets and Objects in Domain Theory (1993)

by U Berger
Venue:Ann. Pure Appl. Logic