Topology and Category Theory in Computer Science
- Publisher's listprice GBP 105.00
-
47 407 Ft (45 150 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 10% (cc. 4 740 Ft off)
- Discounted price 42 667 Ft (40 635 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
47 407 Ft
Availability
printed on demand
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Clarendon Press
- Date of Publication 1 August 1991
- ISBN 9780198537601
- Binding Hardback
- No. of pages402 pages
- Size 241x161x29 mm
- Weight 811 g
- Language English
- Illustrations line drawings 0
Categories
Short description:
This work consists of a selection of papers from the proceedings of a special session on topology and category theory in computer science, held at The Oxford Topology Symposium in June 1989. The session
MoreLong description:
The Oxford Topology Symposium was held in June 1989. Since techniques from topology and category theory have been used increasingly by theoretical computer scientists in recent years, it was decided to hold a special session at the symposium which would be devoted to the application of these topics in computer science. By holding this session in the context of the topology symposium, the organisers hoped to achieve a cross-fertilization between the communities they brought together - giving one a course of new problems with a more practical flavour, and the other a source of solutions and ideas. The session itself proved successful, attracting a large audience of mathematicians as well as computer scientists.
The organizing committee decided to produce two separate proceedings for the conference. All those who had presented papers, plus a very few others, were invited to submit papers for these proceedings of the special session on topology and category theory in computer science.
'What comes out most strikingly in this collection is the sheer variety of approaches ... I believe that anyone who already has some knowledge of computer science applications of topology will find plenty here to broaden their horizons.'
Steven Vickers, Imperial College, London, Journal of Logic and Computation, Volume 3, Number 6, December 1993
Table of Contents:
A.W. Roscoe: Topology, computer science and the mathematics of convergence; Stepen Blamey: The soundness and completeness of axioms for CSP processes; Geoff Barrett & Michael Goldsmith: Classifying unbounded nondeterminism in CSP; Michael W. Mislove: Algebraic posets, algebraic cpo's and models of concurrency; J.W. de Bakker & J.J.M.M. Rutten: Concurrency semantics based on metric domain equations; Marta Z. Kwiatkowska: On topological characterization of behavioral properties; J.D. Lawson: Order and strongly sober compactifications; Michael B. Smyth: Totally bounded spaces and compact ordered spaces as domains of computation; Dieter Spreen: A characterization of effective topological spaces II; Klaus E. Grue: The importance of cardinality, separability, and compactness in computer science with an example from numerical signal analysis; T.Y. Kong: Digital topology: a comparison of the graph-based and topological approaches; D. Girault-Beauquier & M. Nivat: Tiling the plane with one tile; Narcisco Marti-Oliet & Jose Meseguer: An algebraic axiomatization of linear logic models; Joseph A. Goguen: Types as theories.
More
