Free Applications Of Sheaves: Proceedings Of The Research Symposium On Applications Of Sheaf Theory To Logic, Algebra, And Analysis, Durham, July 9–21, 1977