Category Theory and Computer Programming

Category Theory and Computer Programming

書誌詳細
その他の著者:	Abramsky, S
フォーマット:	図書
出版事項:	Springer 1986

類似資料

Topology and category theory in computer science
出版事項: (1991)

Topology and category theory in computer science /
著者:: Reed, George M., 等
出版事項: (1991)

Category theory applied to computation and control : proceedings /
著者:: Manes, Ernest G., 1943-, 等
出版事項: (1975)

Category Theory
著者:: Hoare, C
出版事項: (2015)

Theory of categories /
著者:: 310508 Mitchell, Barry
出版事項: (1965)

A Computational Theory for the Emergence of Grammatical Categories in Cortical Dynamics
著者:: Dario Dematties, 等
出版事項: (2020-04-01)

Categories in recursion theory,
著者:: Wasserman, Michael Gary.
出版事項: (2020)

Category Theory in Chemistry
著者:: Takashiro Akitsu
出版事項: (2023-04-01)

Categorial features : a generative theory of word class categories /
著者:: Panagiotidis, Phoevos, author
出版事項: (2014)

THEORY OF QUASI-CATEGORIES AS A THEORETICAL BASE FOR THE CONSTRUCTION OF BRAIN LIKE COMPUTERS
著者:: Ammar Baghdadi
出版事項: (2018-12-01)

On Lie Theory in the Verlinde Category
著者:: Kannan, Arun S.
出版事項: (2024)

Fusion Categories and Homotopy Theory
著者:: Etingof, Pavel I., 等
出版事項: (2011)

Parametrized higher category theory
著者:: Shah, Jay (Jay Hungfai Gautam)
出版事項: (2017)

Divisor theory in module categories /
著者:: 362192 Vasconcelos, W.
出版事項: (1974)

Category theory and organic electronics
著者:: Jun-ichi Takahashi
出版事項: (2023-05-01)

Quantum Structures and Category Theory
著者:: Roman Fric
出版事項: (2004-01-01)

Fundamentals of soft category theory
著者:: Sujit Kumar Sardar, 等
出版事項: (2018-07-01)

Categorial compositionality: a category theory explanation for the systematicity of human cognition.
著者:: Steven Phillips, 等
出版事項: (2010-01-01)

CATEGORIES OF COMPUTER SYSTEMS ALGORITHMS
著者:: A. V. Poltavskiy, 等
出版事項: (2016-11-01)

On the algebraic K-theory of higher categories
著者:: Barwick, Clark Edward
出版事項: (2017)

Morita homotopy theory of C*-categories
著者:: DellʼAmbrogio, Ivo, 等
出版事項: (2016)

Categories of Topological Spaces and Scattered Theories
著者:: Knight, R
出版事項: (2007)

Kan extensions in enriched category theory /
著者:: 313184 Dubuk, Eduardo
出版事項: (1970)

Logic and categories as tools for building theories
著者:: Abramsky, S
出版事項: (2010)

A notional theory of syntactic categories /
著者:: Anderson, John M., (John Mathieson), 1941-
出版事項: (2006)

Arboreal Categories: An Axiomatic Theory of Resources
著者:: Samson Abramsky, 等
出版事項: (2023-08-01)

Two Constructivist Aspects of Category Theory
著者:: Colin McLarty
出版事項: (2006-09-01)

Categories of relations as models of quantum theory
著者:: Chris Heunen, 等
出版事項: (2015-11-01)

On the (co)homology theory of index category
著者:: Yasien Ghallab Gouda
出版事項: (2011-10-01)

A program for eliminating syntactic categories
著者:: Elbourne, P
出版事項: (2024)

Programs, machines and computation : an introduction to the theory of computing /
著者:: 458893 Clark, Keith L., 等
出版事項: (1976)

Computations in Symmetric Fusion Categories in Characteristic
著者:: Ostrik, Victor, 等
出版事項: (2018)

Computing associators of endomorphism fusion categories
著者:: Daniel Barter, Jacob C. Bridgeman, Ramona Wolf
出版事項: (2022-08-01)

A theory of category projection and its applications
著者:: Fukui, Naoki
出版事項: (2009)

Algebraic geometry and representation theory in the Verlinde category
著者:: Venkatesh, Siddharth(Siddharth Narayan)
出版事項: (2019)

Formal category theory : adjointness for 2-Cartegories /
著者:: Gray, John W. (John Walker), 1931-
出版事項: (1974)

Category theory for quantum natural language processing
著者:: Toumi, A
出版事項: (2022)

On Auslander-Reiten theory for algebras and derived categories
著者:: Scherotzke, S
出版事項: (2009)

Space as a key category of architectural theory
著者:: Y. R. Gorelova
出版事項: (2017-08-01)

The category of rigth into the framework of communicative action theory
著者:: Luiz Repa
出版事項: (2006-12-01)