Sheaves and logic (1979)

by M P Fourman, D S Scott
Venue:Applications of Sheaf Theory to Algebra, Analysis, and Topology, LNM 753