Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 1979 · ENGLISH · PDF View details →
Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings 1988 · ENGLISH · DJVU View details →
Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 1979 · ENGLISH · PDF View details →