The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Topology and Category Theory in Computer Science

The work

AuthorsG. M. Reed
Editors
Typebook
Year1991
Citekeyreed1991topology

From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.

Abstract

Abstract 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.

How it got here

How it got hereagent via openalex
Added2026-10-26 21:03 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@book{reed1991topology,
  title        = {Topology and Category Theory in Computer Science},
  author       = {G. M. Reed},
  year         = {1991},
  doi          = {10.1093/oso/9780198537601.001.0001},
}

This record lives at https://refs.drheap.org/reed1991topology/ and will keep doing so.