Advertisement

Applications of Sheaves

Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977

  • Editors
  • Michael Fourman
  • Christopher Mulvey
  • Dana Scott

Part of the Lecture Notes in Mathematics book series (LNM, volume 753)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. O. Acuña-Ortega, F. E. J. Linton
    Pages 80-100
  3. B. Banaschewski
    Pages 101-112
  4. Siegfried Brietsprecher
    Pages 125-156
  5. Siegfried Breitsprecher
    Pages 157-168
  6. C. W. Burden, C. J. Mulvey
    Pages 169-196
  7. P. M. Cohn
    Pages 197-211
  8. Eduardo J. Dubuc
    Pages 239-254
  9. M. P. Fourman, J. M. E. Hyland
    Pages 280-301
  10. M. P. Fourman, D. S. Scott
    Pages 302-401
  11. J. M. E. Hyland
    Pages 442-465
  12. P. T. Johnstone
    Pages 479-491
  13. Richard Jozsa
    Pages 492-499
  14. John F. Kennison, Carl S. Ledbetter
    Pages 500-513
  15. A. Kock, G. E. Reyes
    Pages 514-533
  16. R. Lavendhomme, J.-R. Roisin
    Pages 534-541
  17. Christopher J. Mulvey
    Pages 542-585
  18. Gonzalo E. Reyes
    Pages 586-594
  19. George Reynolds
    Pages 595-611
  20. Christiane Rousseau
    Pages 623-659
  21. R. A. G. Seely
    Pages 697-701
  22. Gaisi Takeuti
    Pages 714-731
  23. G. C. Wraith
    Pages 739-767
  24. Back Matter
    Pages 784-786

About this book

Keywords

Algebra Applications Finite Garbe (Math.) Identity Manifold calculus geometry proof

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0061811
  • Copyright Information Springer-Verlag Berlin Heidelberg 1979
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-09564-4
  • Online ISBN 978-3-540-34849-8
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • Buy this book on publisher's site
Industry Sectors
Pharma
Telecommunications