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.
Series: Oxford science publications.
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.
Series Title: Oxford science publications.
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:isPartOf <http://experiment.worldcat.org/entity/work/data/352991597#Series/oxford_science_publications> ; # Oxford science publications.
    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#Series/oxford_science_publications> # Oxford science publications.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/23732125> ; # Topology and category theory in computer science
    schema:name "Oxford science publications." ;
    schema:name "Oxford science publications" ;
    .

<http://experiment.worldcat.org/entity/work/data/352991597#Thing/category_theory> # Category theory
    a schema:Thing ;
    schema:name "Category theory" ;
    .

<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/datenverarbeitung> # Datenverarbeitung
    a schema:Intangible ;
    schema:name "Datenverarbeitung"@en ;
    .

<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://experiment.worldcat.org/entity/work/data/352991597#Topic/kategorientheorie> # Kategorientheorie
    a schema:Intangible ;
    schema:name "Kategorientheorie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/352991597#Topic/topologie> # Topologie
    a schema:Intangible ;
    schema:name "Topologie"@en ;
    schema:name "Topologie"@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.