Free Applications Of Sheaves Proceedings Of The Research Symposium On Applications Of Sheaf Theory To Logic Algebra And Analysis Durham July 921 1977