Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Item added to bagSorry, there was a problem getting your bag informationItem cannot be purchased with the existing contents of your bagItem unavailable online
✕

was added to your bag.

Please try again.

Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.

Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.

Sorry, this product is not currently available to buy online. Please visit Shopping Help.

View bag and checkout
Remove item
✕

Are you sure you want to remove from your bag?

Recommended product

Popular links

Popular links

Applications of Categories in Computer Science

All titles
Applications of Categories in Computer Science

Applications of Categories in Computer Science

Proceedings of the London Mathematical Society Symposium, Durham 1991
Series:
Editors:
M. P. Fourman, University of Edinburgh
P. T. Johnstone, University of Cambridge
A. M. Pitts, University of Cambridge
S. Brookes, S. Geva, J. R. B. Cockett, R. A. G. Seely, P.-L. Curien, P. J. Freyd, E. P. Robinson, G. Rosolini, B. Jacob, C. B. Jay, G. M. Kelly, Y. Lafont, P. S. Mulry, P. W. O'Hearn, R. D. Tennant, W. Phoa, K. Sieber, M. B. Smyth, S. Vickers, P. T. Johnstone
Published:
June 1992
Availability:
Available
Format:
Paperback
ISBN:
9780521427265

Looking for an examination copy?

This title is not currently available for examination. However, if you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact [email protected] providing details of the course you are teaching.

$82.00
USD
Paperback
$82.00 USD
eBook
    Description

    Applications of category theory and related topics of mathematics to computer science have been a growing area in recent years. This book contains selected papers on the subject from the London Mathematical Society Symposium held at the University of Durham in July 1991.

    • Potentially wide market - relevant to computer scientists as well as mathematicians

    Product details

    January 2011
    Adobe eBook Reader
    9780511892677
    0 pages
    0kg
    1 b/w illus.
    This ISBN is for an eBook version which is distributed on our behalf by a third party.

    Often bought together

    Notes on Logic and Set Theory
    Notes on Logic and Set Theory

    : Paperback

    Polygraphs: From Rewriting to Higher Categories
    Polygraphs: From Rewriting to Higher Categories

    : Paperback

    Locally Presentable and Accessible Categories
    Locally Presentable and Accessible Categories

    : Paperback

    Conceptual Mathematics
    Conceptual Mathematics

    : Paperback

    A First Introduction to Categories

    Often bought together

    This title is available for institutional purchase via Cambridge Core

    Learn more
    cambridge core banner

    Related Journals

    The Review of Symbolic Logic
    The Review of Symbolic Logic

    : Journal

    The Review of Symbolic Logic is designed to cultivate research on theborders of logic, philosophy, and the sciences, and to supportsubstantive interactions between these disciplines. The journalwelcomes submissions in any of the following areas, broadly construed: - The general study of logical systems and their semantics,including non-classical logics and algebraic logic; - Philosophical logic and formal epistemology, including interactions with decision theory and game theory; - The history, philosophy, and methodology of logic and mathematics, including the history of philosophy of logic and mathematics; - Applications of logic to the sciences, such as computer science, cognitive science, and linguistics; and logical results addressing foundational issues in the sciences. The Review welcomes submissions in all these areas. (For informationon how to submit papers, see Guidelines below.) The Review beganpublication in June 2008.

    Related Journals

    Also by this Author

    Contents

    Table of Contents

    • Preface
    • Computational comonads and intensional semantics S. Brookes and S. Geva
    • Weakly distributed categories J. R. B. Cockett and R. A. G. Seely
    • Sequentiality and full abstraction P.-L. Curien
    • Remarks on algebraically compact categories P. J. Freyd
    • Dinaturality for free P. J. Freyd, E. P. Robinson and G. Rosolini
    • Simply typed and untyped l-calculus revisited B. Jacobs
    • Modelling reduction in confluent categories C. B. Jay
    • On clubs and data-type constructors G. M. Kelly
    • Penrose diagrams and 2-dimensional rewriting Y. Lafont
    • Strong monads, algebras and fixed points P. S. Mulry
    • Semantics of local variables P. W. O'Hearn and R. D. Tennant
    • Using fibrations to understand subtypes W. Phoa
    • Reasoning about sequential functions via logical relations K. Sieber
    • I-categories and duality M. B. Smyth
    • Geometric theories and databases S. Vickers
    • Partial products, bagdomains and hyperlocal toposes P. T. Johnstone.
      • Show more
    Courses
    Resources
    Additional Information
    About the authors
      Contributors

    • S. Brookes, S. Geva, J. R. B. Cockett, R. A. G. Seely, P.-L. Curien, P. J. Freyd, E. P. Robinson, G. Rosolini, B. Jacob, C. B. Jay, G. M. Kelly, Y. Lafont, P. S. Mulry, P. W. O'Hearn, R. D. Tennant, W. Phoa, K. Sieber, M. B. Smyth, S. Vickers, P. T. Johnstone

      • Editors
    • M. P. Fourman , University of Edinburgh
    • P. T. Johnstone , University of Cambridge
    • A. M. Pitts , University of Cambridge

      Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.

    Accessibility

    Browse by related subject

     
    ✕

    Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.

    Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact

    Customer Services