Topology and category theory in computer science

Antzeko izenburuak

• Topology and category theory in computer science /
  nork: Reed, George M., et al.
  Argitaratua: (1991)
• Categories of Topological Spaces and Scattered Theories
  nork: Knight, R
  Argitaratua: (2007)
• Topological field theories and symmetry protected topological phases with fusion category symmetries
  nork: Kansei Inamura
  Argitaratua: (2021-05-01)
• Category Theory and Computer Programming
  Argitaratua: (1986)
• A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos /
  nork: Nourani, Cyrus F., author
  Argitaratua: ([201)