Constructive compact operators on a Hilbert space (1991)

by Hajime Ishihara
Venue:Ann. Pure Appl. Logic