Sheaf models for analysis, in (1979)

by M P Fourman, M Hyland
Venue:Applications of Sheaves, Springer LNM 753