Author: Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis (1977 Durham, England)