Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings /
| Other Authors: | Pitt, David (David H.), Poigné, A., Rydeheard, D. E. (David E.) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
[1987]
|
| Series: | Lecture notes in computer science ;
283. |
| Subjects: |
Similar Items
Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings /
Published: (1989)
Published: (1989)
Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings /
Published: (1986)
Published: (1986)
Category theory and computer science : 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings /
Published: (1997)
Published: (1997)
Category theory for computer science /
by: Barr, Michael, 1937-
Published: (1990)
by: Barr, Michael, 1937-
Published: (1990)
Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /
Published: (1992)
Published: (1992)
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)
Published: (1989)
Category theory and computer science : Paris, France, September 3-6, 1991, proceedings /
Published: (1991)
Published: (1991)
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /
Published: (1995)
Published: (1995)
Categories, types, and structures : an introduction to category theory for the working computer scientist /
by: Asperti, Andrea
Published: (1991)
by: Asperti, Andrea
Published: (1991)
Basic category theory for computer scientists /
by: Pierce, Benjamin C.
Published: (1991)
by: Pierce, Benjamin C.
Published: (1991)
Theory of categories /
Published: (1971)
Published: (1971)
Category theory 1991 : proceedings of an International Summer Category Theory Meeting, held June 23-30, 1991 /
Published: (1992)
Published: (1992)
Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990 /
Published: (1991)
Published: (1991)
Category theory : Applications to Algebra, Logic and Topology, proceedings of the International Conference held at Gummersbach, July 6-10, 1981 /
Published: (1982)
Published: (1982)
Mathematical applications of category theory /
Published: (1984)
Published: (1984)
Category theory /
by: Awodey, Steve, 1959-
Published: (2006)
by: Awodey, Steve, 1959-
Published: (2006)
Category theory /
by: Awodey, Steve, 1959-
Published: (2006)
by: Awodey, Steve, 1959-
Published: (2006)
Category theory /
by: Awodey, Steve, 1959-
Published: (2010)
by: Awodey, Steve, 1959-
Published: (2010)
Theory of categories.
by: Mitchell, Barry
Published: (1965)
by: Mitchell, Barry
Published: (1965)
Category theory ; an introduction /
by: Herrlich, Horst
Published: (1973)
by: Herrlich, Horst
Published: (1973)
Formal category theory : adjointness for 2-categories /
by: Gray, John W. (John Walker), 1931-
Published: (1974)
by: Gray, John W. (John Walker), 1931-
Published: (1974)
Category Seminar : proceedings, Sydney Category Theory Seminar, 1972/1973 /
Published: (1974)
Published: (1974)
Formal category theory: adjointness for 2-categories /
by: Gray, John W. (John Walker), 1931-
Published: (1974)
by: Gray, John W. (John Walker), 1931-
Published: (1974)
2-dimensional categories /
by: Johnson, Niles, et al.
Published: (2021)
by: Johnson, Niles, et al.
Published: (2021)
Basic category theory /
by: Leinster, Tom, 1971-
Published: (2014)
by: Leinster, Tom, 1971-
Published: (2014)
Categories for quantum theory : an introduction /
by: Heunen, Christiaan Johan Marie, et al.
Published: (2020)
by: Heunen, Christiaan Johan Marie, et al.
Published: (2020)
Applications of category theory to fuzzy subsets /
Published: (1992)
Published: (1992)
Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990 /
Published: (1991)
Published: (1991)
Category theory for the sciences /
by: Spivak, David I., 1978-
Published: (2014)
by: Spivak, David I., 1978-
Published: (2014)
Bimonoidal categories, en-monoidal categories, and algebraic K-theory.
by: Yau, Donald Y. (Donald Ying), 1977-
Published: (2024)
by: Yau, Donald Y. (Donald Ying), 1977-
Published: (2024)
Bimonoidal categories, en-monoidal categories, and algebraic K-Theory.
by: Johnson, Niles, et al.
Published: (2024)
by: Johnson, Niles, et al.
Published: (2024)
Bimonoidal categories, en-monoidal categories, and algebraic K-Theory.
by: Yau, Donald Y. (Donald Ying), 1977-
Published: (2024)
by: Yau, Donald Y. (Donald Ying), 1977-
Published: (2024)
Categories and representation theory : with a focus on 2-categorical covering theory /
by: Asashiba, Hideto, 1956-
Published: (2022)
by: Asashiba, Hideto, 1956-
Published: (2022)
Reports of the Midwest Category Seminar V /
Published: (1971)
Published: (1971)
Reports of the Midwest category seminar IV /
Published: (1970)
Published: (1970)
Theory and applications of categories : TAC.
Published: (1995)
Published: (1995)