skip to content
Topology and category theory in computer science Preview this item
ClosePreview this item
Checking...

Topology and category theory in computer science

Author: George M Reed; A W Roscoe; R F Wachter
Publisher: Oxford : Clarendon Press ; New York : Oxford University Press, ©1991.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

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  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Additional Physical Format: Online version:
Topology and category theory in computer science.
Oxford : Clarendon Press ; New York : Oxford University Press, ©1991
(OCoLC)551331623
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: George M Reed; A W Roscoe; R F Wachter
ISBN: 0198537603 9780198537601
OCLC Number: 23732125
Notes: "[Papers from] the Oxford Topology Symposium was held on 27-30 June, 1989"--Preface.
Description: xi, 390 pages : illustrations ; 24 cm
Contents: Topology, computer science and the mathematics of convergence / A.W. Roscoe --
The soundness and completeness of axioms for CSP processes / Stephen Blamey --
Classifying unbounded nondeterminism in CSP / Geoff Barrett and Michael Goldsmith --
Algebraic posets, algebraic cpo's and models of concurrency / Michael W. Mislove --
Concurrency semantics based on metric domain equations / J.W. de Bakker and J.J.M.M. Rutten --
On topological characterization of behavioural properties / Marta Z. Kwiatkowska --
Order and strongly sober compactifications / J.D. Lawson --
Totally bounded spaces and compact ordered spaces as domains of computation / Michael B. Smyth --
A characterization of effective topological spaces II / Dieter Spreen. The importance of cardinality, separability and compactness in computer science with an example from numerical signal analysis / Klaus E. Grue --
Digital topology : a comparison of the graph-based and topological approaches / T.Y. Kong and A. Rosenfeld --
Tiling the plane with one tile / D. Girault-Beauquier and M. Nivat --
An algebraic axiomatization of linear logic models / Narciso Martí-Oliet and José Meseguer --
Types as theories / Joseph A. Goguen.
Responsibility: edited by G.M. Reed, A.W. Roscoe, and R.F. Wachter.
More information:

Reviews

Editorial reviews

Publisher Synopsis

beautifully printed book * David B. Benson, Computing Reviews, September 1994 * 'What comes out most strikingly in this collection is the sheer variety of approaches ... I believe that anyone who Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/23732125> # Topology and category theory in computer science
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "23732125" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/352991597#Place/oxford> ; # Oxford
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/352991597#Thing/mathematical_theory_of_computation> ; # Mathematical theory of computation
   schema:about <http://experiment.worldcat.org/entity/work/data/352991597#Topic/kategorientheorie> ; # Kategorientheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/352991597#Topic/kongress> ; # Kongress
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/352991597#Topic/categories_mathematiques> ; # Catégories (mathématiques)
   schema:about <http://experiment.worldcat.org/entity/work/data/352991597#Topic/datenverarbeitung> ; # Datenverarbeitung
   schema:about <http://id.worldcat.org/fast/849000> ; # Categories (Mathematics)
   schema:about <http://id.worldcat.org/fast/1152692> ; # Topology
   schema:about <http://experiment.worldcat.org/entity/work/data/352991597#Thing/geometry_and_topology> ; # Geometry and topology
   schema:about <http://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
   schema:about <http://dewey.info/class/004.0151/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/352991597#Topic/informatik> ; # Informatik
   schema:about <http://experiment.worldcat.org/entity/work/data/352991597#Topic/topologie> ; # Topologie
   schema:about <http://experiment.worldcat.org/entity/work/data/352991597#Topic/informatique_mathematiques> ; # Informatique--Mathématiques
   schema:about <http://experiment.worldcat.org/entity/work/data/352991597#Thing/category_theory> ; # Category theory
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/9021094> ; # R. F. Wachter
   schema:contributor <http://viaf.org/viaf/93053394> ; # George M. Reed
   schema:contributor <http://viaf.org/viaf/45727431> ; # A. W. Roscoe
   schema:copyrightYear "1991" ;
   schema:datePublished "1991" ;
   schema:description "The importance of cardinality, separability and compactness in computer science with an example from numerical signal analysis / Klaus E. Grue -- Digital topology : a comparison of the graph-based and topological approaches / T.Y. Kong and A. Rosenfeld -- Tiling the plane with one tile / D. Girault-Beauquier and M. Nivat -- An algebraic axiomatization of linear logic models / Narciso Martí-Oliet and José Meseguer -- Types as theories / Joseph A. Goguen."@en ;
   schema:description "Topology, computer science and the mathematics of convergence / A.W. Roscoe -- The soundness and completeness of axioms for CSP processes / Stephen Blamey -- Classifying unbounded nondeterminism in CSP / Geoff Barrett and Michael Goldsmith -- Algebraic posets, algebraic cpo's and models of concurrency / Michael W. Mislove -- Concurrency semantics based on metric domain equations / J.W. de Bakker and J.J.M.M. Rutten -- On topological characterization of behavioural properties / Marta Z. Kwiatkowska -- Order and strongly sober compactifications / J.D. Lawson -- Totally bounded spaces and compact ordered spaces as domains of computation / Michael B. Smyth -- A characterization of effective topological spaces II / Dieter Spreen."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/352991597> ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/551331623> ;
   schema:name "Topology and category theory in computer science"@en ;
   schema:productID "23732125" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/23732125#PublicationEvent/oxford_clarendon_press_new_york_oxford_university_press_1991> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/352991597#Agent/oxford_university_press> ; # Oxford University Press
   schema:publisher <http://experiment.worldcat.org/entity/work/data/352991597#Agent/clarendon_press> ; # Clarendon Press
   schema:url <http://www.gbv.de/dms/hbz/toc/ht003816869.PDF> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002865728&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0606/91016461-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9780198537601> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9198937> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9150473> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/23732125> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/352991597#Agent/clarendon_press> # Clarendon Press
    a bgn:Agent ;
   schema:name "Clarendon Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/352991597#Agent/oxford_university_press> # Oxford University Press
    a bgn:Agent ;
   schema:name "Oxford University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/352991597#Thing/geometry_and_topology> # Geometry and topology
    a schema:Thing ;
   schema:name "Geometry and topology" ;
    .

<http://experiment.worldcat.org/entity/work/data/352991597#Thing/mathematical_theory_of_computation> # Mathematical theory of computation
    a schema:Thing ;
   schema:name "Mathematical theory of computation" ;
    .

<http://experiment.worldcat.org/entity/work/data/352991597#Topic/categories_mathematiques> # Catégories (mathématiques)
    a schema:Intangible ;
   schema:name "Catégories (mathématiques)"@en ;
   schema:name "Catégories (Mathématiques)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/352991597#Topic/informatique_mathematiques> # Informatique--Mathématiques
    a schema:Intangible ;
   schema:name "Informatique--Mathématiques"@en ;
   schema:name "Informatique--Mathématiques"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85042295> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/1152692> # Topology
    a schema:Intangible ;
   schema:name "Topology"@en ;
    .

<http://id.worldcat.org/fast/849000> # Categories (Mathematics)
    a schema:Intangible ;
   schema:name "Categories (Mathematics)"@en ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/45727431> # A. W. Roscoe
    a schema:Person ;
   schema:familyName "Roscoe" ;
   schema:givenName "A. W." ;
   schema:name "A. W. Roscoe" ;
    .

<http://viaf.org/viaf/9021094> # R. F. Wachter
    a schema:Person ;
   schema:familyName "Wachter" ;
   schema:givenName "R. F." ;
   schema:name "R. F. Wachter" ;
    .

<http://viaf.org/viaf/93053394> # George M. Reed
    a schema:Person ;
   schema:familyName "Reed" ;
   schema:givenName "George M." ;
   schema:name "George M. Reed" ;
    .

<http://worldcat.org/isbn/9780198537601>
    a schema:ProductModel ;
   schema:isbn "0198537603" ;
   schema:isbn "9780198537601" ;
    .

<http://www.worldcat.org/oclc/551331623>
    a schema:CreativeWork ;
   rdfs:label "Topology and category theory in computer science." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/23732125> ; # Topology and category theory in computer science
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.