Articles liés à Topology and Category Theory in Computer Science

Topology and Category Theory in Computer Science - Couverture rigide

 
9780198537601: Topology and Category Theory in Computer Science
Couverture rigide
ISBN 10 : 0198537603 ISBN 13 : 9780198537601
Editeur : Clarendon Press, 1991

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Revue de presse

'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

beautifully printed book (David B. Benson, Computing Reviews, September 1994)

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Clarendon Press
Date d'édition
1991
Langue
anglais
ISBN 10 
0198537603
ISBN 13 
9780198537601
Reliure
Relié
Nombre de pages
402
Éditeur
Reed G. M., Roscoe A. W., Wachter R. F.
Coordonnées du fabricant
non disponible
Personne responsable
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italie