Sheaf models for analysis
1979 ◽
pp. 280-301
◽