Category Theory and Computer Programming

Category Theory and Computer Programming

Bibliographic Details
Other Authors:	Abramsky, S
Format:	Book
Published:	Springer 1986

Similar Items

Topology and category theory in computer science
Published: (1991)

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

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

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

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

Category Theory in Chemistry
by: Takashiro Akitsu
Published: (2023-04-01)

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

Categorial features : a generative theory of word class categories /
by: Panagiotidis, Phoevos, author
Published: (2014)

Divisor theory in module categories /
by: 362192 Vasconcelos, W.
Published: (1974)

Quantum Structures and Category Theory
by: Roman Fric
Published: (2004-01-01)

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)

Category theory and organic electronics
by: Jun-ichi Takahashi
Published: (2023-05-01)

THEORY OF QUASI-CATEGORIES AS A THEORETICAL BASE FOR THE CONSTRUCTION OF BRAIN LIKE COMPUTERS
by: Ammar Baghdadi
Published: (2018-12-01)

CATEGORIES OF COMPUTER SYSTEMS ALGORITHMS
by: A. V. Poltavskiy, et al.
Published: (2016-11-01)

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

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

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

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

Arboreal Categories: An Axiomatic Theory of Resources
by: Samson Abramsky, et al.
Published: (2023-08-01)

Two Constructivist Aspects of Category Theory
by: Colin McLarty
Published: (2006-09-01)

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)

A program for eliminating syntactic categories
by: Elbourne, P
Published: (2024)

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

Computing associators of endomorphism fusion categories
by: Daniel Barter, Jacob C. Bridgeman, Ramona Wolf
Published: (2022-08-01)

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

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

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

Constructing categories and setoids of setoids in type theory
by: Erik Palmgren, et al.
Published: (2014-09-01)

Space as a key category of architectural theory
by: Y. R. Gorelova
Published: (2017-08-01)

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

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

Category Theory for Autonomous and Networked Dynamical Systems
by: Jean-Charles Delvenne
Published: (2019-03-01)

The Category of Verisimilitude in the Literary Theory of French Classicism
by: Alexander E. Makhov
Published: (2020-06-01)

Interaction Categories and the Foundations of Typed Concurrent Programming
by: Abramsky, S, et al.
Published: (1996)

Programs, machines and computation : an introduction to the theory of computing /
by: 458893 Clark, Keith L., et al.
Published: (1976)

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

A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos /
by: Nourani, Cyrus F., author
Published: ([201)

On the Ontological Category of Computer-Generated Music Scores
by: Nemesio García-Carril Puy
Published: (2017-03-01)