Cover Image

Theoretical computer science for the working category theorist /

Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes and structures, is uniquely qualified to present the fundamental results of theoretical computer science....

Full description

Bibliographic Details
Main Author:	Yanofsky, Noson S., 1967-
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 2022.
Series:	Cambridge elements. Elements in applied category theory
Subjects:	Computer science > Mathematics.

Similar Items

Category theory for computer science /
by: Barr, Michael, 1937-
Published: (1990)

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /
Published: (1992)

Quantum computing for computer scientists /
by: Yanofsky, Noson S., 1967-
Published: (2008)

Foundations and trends in theoretical computer science.
Published: (2005)

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

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)

Category theory and computer science : 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings /
Published: (1997)

Discrete mathematics & theoretical computer science : DMTCS.
Published: (1997)

Physics and theoretical computer science : from numbers and languages to (quantum) cryptography security /
Published: (2007)

Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings /
Published: (1989)

Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings /
Published: (1987)

Theoretical foundations of computer science /
by: Mandrioli, Dino
Published: (1987)

Theoretical and mathematical foundations of computer science : second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers /
Published: (2011)

Handbook of theoretical computer science /
Published: (1994)

Handbook of theoretical computer science /
Published: (1990)

Theoretical studies in computer science /
Published: (1992)

Theoretical computer science : essays in memory of Shimon Even /
Published: (2006)

The outer limits of reason : what science, mathematics, and logic cannot tell us /
by: Yanofsky, Noson S., 1967-
Published: (2013)

Theoretical computer science : introduction to Automata, computability, complexity, algorithmics, randomization, communication, and cryptography /
by: Hromkovič, Juraj, 1958-
Published: (2004)

Category theory and computer science : Paris, France, September 3-6, 1991, proceedings /
Published: (1991)

Theoretical studies in computer science /
Published: (1992)

Categories, types, and structures : an introduction to category theory for the working computer scientist /
by: Asperti, Andrea
Published: (1991)

Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings /
Published: (1986)

New topics in theoretical computer science /
Published: (2008)

Mathematics and computer science.
Published: (2023)

Mathematics and computer science.
Published: (2023)

Discrete mathematics for computer science : an example-based introduction /
by: Fortney, Jon Pierre
Published: (2021)

Geometric computing science : first steps /
by: Hermann, Robert, 1931-
Published: (1991)

Discrete mathematics for computer science : an example-based introduction /
by: Fortney, Jon Pierre
Published: (2021)

Theoretical computer science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003 : proceedings /
Published: (2003)

Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings /
Published: (2005)

Computational science and its applications /
Published: (2021)

Mathematics for informatics and computer science /
by: Audibert, Pierre, 1941-
Published: (2010)

Mathematical logic for computer science /
by: Lü, Zhongwen
Published: (1998)

Discrete mathematics for computer science /
by: Bogart, Kenneth P.
Published: (2006)

Mathematical foundations of computer science /
by: Fejer, Peter A.
Published: (1991)

Recent advances in computational sciences : selected papers from the International Workshop on Computational Sciences and its Education, Beijing, China, 29-31 August 2005 /
Published: (2008)

Universal algebra and applications in theoretical computer science /
by: Denecke, Klaus
Published: (2002)

Connecting discrete mathematics and computer science /
by: Liben-Nowell, David
Published: (2022)

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /
Published: (1995)