FREE delivery to all EXCLUSIVE BOOKS stores nationwide. FREE delivery to your door on all orders over R450. Excludes all international deliveries.

Category Theory and Computer Science

Eugenio Moggi
    Product form
      FORMAT: Paperback / softback

      R 1,560.93 Price and availability exclusive to website

      YOU COULD EARN 1,560.93 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 260.15 per month!
      3x monthly payments of R 520.31 with
      4x fortnightly payments of R 390.23 with
      This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.
      Format: Paperback / softback CONTRIBUTORS: Eugenio Moggi EAN: 9783540634553 COUNTRY: Germany PAGES: WEIGHT: 1020 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG DATE PUBLISHED: 1997-08-20 CITY: GENRE: COMPUTERS / Information Technology, COMPUTERS / Programming / General, COMPUTERS / Languages / General, MATHEMATICS / Algebra / Abstract, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Mathematical foundations, Mathematical logic, Algebraic topology, Compilers and interpreters, Mathematical theory of computation, Systems analysis and design

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.
      Format: Paperback / softback CONTRIBUTORS: Eugenio Moggi EAN: 9783540634553 COUNTRY: Germany PAGES: WEIGHT: 1020 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG DATE PUBLISHED: 1997-08-20 CITY: GENRE: COMPUTERS / Information Technology, COMPUTERS / Programming / General, COMPUTERS / Languages / General, MATHEMATICS / Algebra / Abstract, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Mathematical foundations, Mathematical logic, Algebraic topology, Compilers and interpreters, Mathematical theory of computation, Systems analysis and design

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)

      Recently viewed products

      Login

      Forgot your password?

      Don't have an account yet?
      Create account