Studying repleteness in the category of cpos (1997)

by G Rosolini
Venue:Electron. Notes Theor. Comput. Sci