Topology and category theory in computer science

Topology and category theory in computer science

Bibliográfalaš dieđut
Eará dahkkit:	Roscoe, A
Materiálatiipa:	Conference item
Almmustuhtton:	OUP 1991

Geahča maid

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

Categories of Topological Spaces and Scattered Theories
Dahkki: Knight, R
Almmustuhtton: (2007)

Category Theory and Computer Programming
Almmustuhtton: (1986)

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

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

Category of fuzzy topographic topological mapping (FTTM) /
Dahkki: Faisal Abdurabu Mubarak Binjadhnan, 1975-, author, et al.
Almmustuhtton: ( 200)

Category Theory
Dahkki: Hoare, C
Almmustuhtton: (2015)

Theory of categories /
Dahkki: 310508 Mitchell, Barry
Almmustuhtton: (1965)

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

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

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

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

Categories in recursion theory,
Dahkki: Wasserman, Michael Gary.
Almmustuhtton: (2020)

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

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

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

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

Parametrized higher category theory
Dahkki: Shah, Jay (Jay Hungfai Gautam)
Almmustuhtton: (2017)

Divisor theory in module categories /
Dahkki: 362192 Vasconcelos, W.
Almmustuhtton: (1974)

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

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

Logic and categories as tools for building theories
Dahkki: Abramsky, S
Almmustuhtton: (2010)

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

Kan extensions in enriched category theory /
Dahkki: 313184 Dubuk, Eduardo
Almmustuhtton: (1970)

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

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

A theory of category projection and its applications
Dahkki: Fukui, Naoki
Almmustuhtton: (2009)

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

Category theory for quantum natural language processing
Dahkki: Toumi, A
Almmustuhtton: (2022)

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

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

Topology for computing /
Dahkki: Zomorodian, Afra J., 1974-
Almmustuhtton: (2005)

Bicommutant categories from fusion categories
Dahkki: Henriques, A, et al.
Almmustuhtton: (2016)

Trivial extensions of Abelian categories : homological algebra of trivial extensions of Abelian categories with applications to ring theory /
Dahkki: 343860 Fossum, Robert M., et al.
Almmustuhtton: (1975)

Linking Theories in Computing Science
Dahkki: Hoare, C
Almmustuhtton: (2015)

Probability theory and computer science /
Dahkki: Latouche, G.
Almmustuhtton: (1983)

Introductory theory of computer science /
Dahkki: 388382 Krishnamurthy, E. V.
Almmustuhtton: (1983)

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

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

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