Contractible Coherence Spaces and Maximal Maps (1999)

by H Hu
Venue:Electr. Notes Theor. Comp. Sci