Topology and category theory in computer science

Topology and category theory in computer science

Bibliographic Details
Other Authors:	Roscoe, A
Format:	Conference item
Published:	OUP 1991

Similar Items

Topology and category theory in computer science /
by: Reed, George M., et al.
Published: (1991)

Categories of Topological Spaces and Scattered Theories
by: Knight, R
Published: (2007)

Category Theory and Computer Programming
Published: (1986)

Representing modular tensor categories: a computer algebra system for topological quantum computing
by: Roberts, D
Published: (2011)

Category theory applied to computation and control : proceedings /
by: Manes, Ernest G., 1943-, et al.
Published: (1975)

Algebra, topology and category theory : a collection of papers in Honor of Samuel Eilenberg /
by: Heller, Alex, et al.
Published: (1976)

Category Theory
by: Hoare, C
Published: (2015)

Theory of categories /
by: 310508 Mitchell, Barry
Published: (1965)

Topology‚ computer science and the mathematics of convergence
by: Roscoe, A
Published: (1991)

CTCS '99‚ Conference on Category Theory and Computer Science‚ Edinburgh (UK)‚ 10−12 September 1999
Published: (1999)

Combinatorial, algebraic and topological representation of groups, semigroups and categories /
by: 466166 Pultr, Ales, et al.
Published: (1980)

Invariants for real-generated uniforms topological and algebraic categories/
by: 174354 Broughan, K. A.
Published: (1975)

Categories in recursion theory,
by: Wasserman, Michael Gary.
Published: (2020)

Measure and categories : a survey of the analogies between topological and measurement /
by: 310528 Oxtoby, John C.
Published: (1971)

On Lie Theory in the Verlinde Category
by: Kannan, Arun S.
Published: (2024)

Fusion Categories and Homotopy Theory
by: Etingof, Pavel I., et al.
Published: (2011)

Parametrized higher category theory
by: Shah, Jay (Jay Hungfai Gautam)
Published: (2017)

On the algebraic K-theory of higher categories
by: Barwick, Clark Edward
Published: (2017)

Morita homotopy theory of C*-categories
by: DellʼAmbrogio, Ivo, et al.
Published: (2016)

Logic and categories as tools for building theories
by: Abramsky, S
Published: (2010)

Kan extensions in enriched category theory /
by: 313184 Dubuk, Eduardo
Published: (1970)

A notional theory of syntactic categories /
by: Anderson, John M., (John Mathieson), 1941-
Published: (2006)

Computations in Symmetric Fusion Categories in Characteristic
by: Ostrik, Victor, et al.
Published: (2018)

Exact categories and categories of sheaves /
by: 312890 Barr, Michael, et al.
Published: (1971)

A theory of category projection and its applications
by: Fukui, Naoki
Published: (2009)

Algebraic geometry and representation theory in the Verlinde category
by: Venkatesh, Siddharth(Siddharth Narayan)
Published: (2019)

Category theory for quantum natural language processing
by: Toumi, A
Published: (2022)

On Auslander-Reiten theory for algebras and derived categories
by: Scherotzke, S
Published: (2009)

Formal category theory : adjointness for 2-Cartegories /
by: Gray, John W. (John Walker), 1931-
Published: (1974)

Linking Theories in Computing Science
by: Hoare, C
Published: (2015)

Probability theory and computer science /
by: Latouche, G.
Published: (1983)

Bicommutant categories from fusion categories
by: Henriques, A, et al.
Published: (2016)

A convenient category for higher-order probability theory
by: Heunen, C, et al.
Published: (2017)

On the spectrum and support theory of a finite tensor category
by: Nakano, Daniel K., et al.
Published: (2024)

Classical control and quantum circuits in enriched category theory
by: Rennela, M, et al.
Published: (2018)

Bordism categories and orientations of gauge theory moduli spaces
by: Joyce, D, et al.
Published: (2023)

Automated rewriting for higher categories and applications to quantum theory
by: Bar, K
Published: (2016)

Graphical Reasoning in Compact Closed Categories for Quantum Computation
by: Dixon, L, et al.
Published: (2009)

On theory of topological ideals
by: Kissin, Edward, et al.
Published: (2018)

On the theory of topological radicals
by: Kissin, Edward, et al.
Published: (2022)