Category Theory and Computer Programming

Category Theory and Computer Programming

Sonraí bibleagrafaíochta
Rannpháirtithe:	Abramsky, S
Formáid:	LEABHAR
Foilsithe / Cruthaithe:	Springer 1986

Míreanna comhchosúla

Topology and category theory in computer science
Foilsithe / Cruthaithe: (1991)

Topology and category theory in computer science /
de réir: Reed, George M., et al.
Foilsithe / Cruthaithe: (1991)

Category theory applied to computation and control : proceedings /
de réir: Manes, Ernest G., 1943-, et al.
Foilsithe / Cruthaithe: (1975)

Category Theory
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Theory of categories /
de réir: 310508 Mitchell, Barry
Foilsithe / Cruthaithe: (1965)

A Computational Theory for the Emergence of Grammatical Categories in Cortical Dynamics
de réir: Dario Dematties, et al.
Foilsithe / Cruthaithe: (2020-04-01)

Categories in recursion theory,
de réir: Wasserman, Michael Gary.
Foilsithe / Cruthaithe: (2020)

Category Theory in Chemistry
de réir: Takashiro Akitsu
Foilsithe / Cruthaithe: (2023-04-01)

Categorial features : a generative theory of word class categories /
de réir: Panagiotidis, Phoevos, author
Foilsithe / Cruthaithe: (2014)

THEORY OF QUASI-CATEGORIES AS A THEORETICAL BASE FOR THE CONSTRUCTION OF BRAIN LIKE COMPUTERS
de réir: Ammar Baghdadi
Foilsithe / Cruthaithe: (2018-12-01)

On Lie Theory in the Verlinde Category
de réir: Kannan, Arun S.
Foilsithe / Cruthaithe: (2024)

Fusion Categories and Homotopy Theory
de réir: Etingof, Pavel I., et al.
Foilsithe / Cruthaithe: (2011)

Parametrized higher category theory
de réir: Shah, Jay (Jay Hungfai Gautam)
Foilsithe / Cruthaithe: (2017)

Divisor theory in module categories /
de réir: 362192 Vasconcelos, W.
Foilsithe / Cruthaithe: (1974)

Category theory and organic electronics
de réir: Jun-ichi Takahashi
Foilsithe / Cruthaithe: (2023-05-01)

Quantum Structures and Category Theory
de réir: Roman Fric
Foilsithe / Cruthaithe: (2004-01-01)

Fundamentals of soft category theory
de réir: Sujit Kumar Sardar, et al.
Foilsithe / Cruthaithe: (2018-07-01)

Categorial compositionality: a category theory explanation for the systematicity of human cognition.
de réir: Steven Phillips, et al.
Foilsithe / Cruthaithe: (2010-01-01)

CATEGORIES OF COMPUTER SYSTEMS ALGORITHMS
de réir: A. V. Poltavskiy, et al.
Foilsithe / Cruthaithe: (2016-11-01)

On the algebraic K-theory of higher categories
de réir: Barwick, Clark Edward
Foilsithe / Cruthaithe: (2017)

Morita homotopy theory of C*-categories
de réir: DellʼAmbrogio, Ivo, et al.
Foilsithe / Cruthaithe: (2016)

Categories of Topological Spaces and Scattered Theories
de réir: Knight, R
Foilsithe / Cruthaithe: (2007)

Kan extensions in enriched category theory /
de réir: 313184 Dubuk, Eduardo
Foilsithe / Cruthaithe: (1970)

Logic and categories as tools for building theories
de réir: Abramsky, S
Foilsithe / Cruthaithe: (2010)

A notional theory of syntactic categories /
de réir: Anderson, John M., (John Mathieson), 1941-
Foilsithe / Cruthaithe: (2006)

Arboreal Categories: An Axiomatic Theory of Resources
de réir: Samson Abramsky, et al.
Foilsithe / Cruthaithe: (2023-08-01)

Two Constructivist Aspects of Category Theory
de réir: Colin McLarty
Foilsithe / Cruthaithe: (2006-09-01)

Categories of relations as models of quantum theory
de réir: Chris Heunen, et al.
Foilsithe / Cruthaithe: (2015-11-01)

On the (co)homology theory of index category
de réir: Yasien Ghallab Gouda
Foilsithe / Cruthaithe: (2011-10-01)

A program for eliminating syntactic categories
de réir: Elbourne, P
Foilsithe / Cruthaithe: (2024)

Programs, machines and computation : an introduction to the theory of computing /
de réir: 458893 Clark, Keith L., et al.
Foilsithe / Cruthaithe: (1976)

Computations in Symmetric Fusion Categories in Characteristic
de réir: Ostrik, Victor, et al.
Foilsithe / Cruthaithe: (2018)

Computing associators of endomorphism fusion categories
de réir: Daniel Barter, Jacob C. Bridgeman, Ramona Wolf
Foilsithe / Cruthaithe: (2022-08-01)

A theory of category projection and its applications
de réir: Fukui, Naoki
Foilsithe / Cruthaithe: (2009)

Algebraic geometry and representation theory in the Verlinde category
de réir: Venkatesh, Siddharth(Siddharth Narayan)
Foilsithe / Cruthaithe: (2019)

Formal category theory : adjointness for 2-Cartegories /
de réir: Gray, John W. (John Walker), 1931-
Foilsithe / Cruthaithe: (1974)

Category theory for quantum natural language processing
de réir: Toumi, A
Foilsithe / Cruthaithe: (2022)

On Auslander-Reiten theory for algebras and derived categories
de réir: Scherotzke, S
Foilsithe / Cruthaithe: (2009)

Space as a key category of architectural theory
de réir: Y. R. Gorelova
Foilsithe / Cruthaithe: (2017-08-01)

The category of rigth into the framework of communicative action theory
de réir: Luiz Repa
Foilsithe / Cruthaithe: (2006-12-01)