Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 / edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.

Saved in:

Bibliographic Details
Corporate Author:	LMS Durham Symposium
Other Authors:	Fourman, M. P., 1950-, Johnstone, P. T., Pitts, A. M.
Format:	Conference Proceeding Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1992.
Series:	London Mathematical Society lecture note series ; 177
Subjects:	Computer science > Mathematics > Congresses. Categories (Mathematics) > Congresses.

Similar Items

Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation
Published: (1989)

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

Mathematical applications of category theory
Published: (1984)

Basic category theory for computer scientists
by: Pierce, Benjamin C.
Published: (1991)

Mathematical applications of category theory
Published: (1984)

Higher category theory : Workshop on Higher Category Theory, March 28-30, 1997, Northwestern University, Evanston, IL
Published: (1998)

Higher category theory : proceedings of a Workshop on Higher Category Theory and Physics, March 28-30, 1997, Northwestern University, Evanston, IL
Published: (1998)

Topological phases of matter and quantum computation : AMS Special Session, Topological Phases of Matter and Quantum Computation, September 24-25, 2016, Bowdoin College, Brunswick, Maine
Published: (2020)

G-categories
by: Gordon, Robert, 1935-
Published: (1993)

Diagrammatic morphisms and applications : AMS Special Session on Diagrammatic Morphisms in Algebra, Category Theory, and Topology, October 21-22, 2000, San Francisco State University, San Francisco, California
Published: (2003)

2-dimensional categories
by: Johnson, Niles, et al.
Published: (2021)

Diagrammatic morphisms and applications : AMS Special Session on Diagrammatic Morphisms in Algebra, Category Theory, and Topology, October 21-22, 2000, San Francisco State University, San Francisco, California
Published: (2003)

Programs as diagrams : from categorical computability to computable categories
by: Pavlović, Dusko
Published: (2023)

Categorical Structures And Their Applications - Proceedings Of The North-west European Category Seminar.
by: Ghler, W.
Published: (2004)

Category theory
by: Awodey, Steve, 1959-
Published: (2006)

*-Autonomus categories
by: Barr, Michael
Published: (1979)

Triangulated categories
by: Neeman, Amnon
Published: (2001)

G-categories
by: Gordon, Robert, 1935-
Published: (1993)

Triangulated Categories.
by: Neeman, Amnon
Published: (2001)

Locally presentable and accessible categories
by: Adámek, Jiří, ing
Published: (1994)

Categories for quantum theory : an introduction
by: Heunen, Christiaan Johan Marie, et al.
Published: (2020)

Indexed categories and their applications
Published: (1978)

A handbook of model categories
by: Balchin, Scott, 1992-
Published: (2021)

Categories for the working mathematician
by: Mac Lane, Saunders, 1909-2005
Published: (1971)

Categories for the working mathematician
by: Mac Lane, Saunders, 1909-2005
Published: (1998)

A first course in category theory
by: Agore, Ana
Published: (2023)

Category theory : applications to algebra, logic and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
Published: (1982)

Involutive category theory
by: Yau, Donald Y. (Donald Ying), 1977-
Published: (2020)

Coherence and non-commutative diagrams in closed categories
by: Voreadou, Rodiani
Published: (1977)

Categorical topology : proceedings of the conference held at Mannheim, 21-25 July, 1975
Published: (1976)

Categorical topology : proceedings of the international conference, Berlin, August 27th to September 2nd, 1978
Published: (1979)

Categories and sheaves
by: Kashiwara, Masaki, 1947-
Published: (2006)

Categorical aspects of topology and analysis : proceedings of an international conference held at Carleton University, Ottawa, August 11-15, 1981.
Published: (1982)

Introduction of infinity-categories
by: Land, Markus
Published: (2021)

Sets, Logic and Categories.
by: Cameron, Peter J.
Published: (1998)

Category theory : supplementary notes, commentary and corrections on lectures by Peter J. Hilton and Yel-Chiang Wu : notes
by: Shatoff, Larry D.
Published: (1973)

Cut Elimination in Categories
by: Dosen, K.
Published: (1999)

Accessible categories : the foundations of categorical model theory
by: Makkai, Mihály, 1939-, et al.
Published: (1989)

Categories and representation theory : with a focus on 2-categorical covering theory
by: Asashiba, Hideto, 1956-
Published: (2022)

The spectrum of a module category
by: Krause, Henning, 1962-
Published: (2001)