From d33d00ec4c57c773dea883300018a457232f8512 Mon Sep 17 00:00:00 2001 From: jeffdc Date: Sun, 20 Apr 2014 16:29:10 -0400 Subject: [PATCH] Re-added Category Theory for Computing Science with udpated link. --- free-programming-books.md | 1 + 1 file changed, 1 insertion(+) diff --git a/free-programming-books.md b/free-programming-books.md index 74f26fc96..59a68a7be 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -524,6 +524,7 @@ ####Theoretical Computer Science * [An Introduction to the Theory of Computation](http://www.cse.ohio-state.edu/~gurari/theory-bk/theory-bk.html) * [Building Blocks for Theoretical Computer Science](http://www.cs.uiuc.edu/~mfleck/building-blocks/index.html) - Margaret M. Fleck +* [Category Theory for Computing Science](http://www.tac.mta.ca/tac/reprints/articles/22/tr22.pdf) (PDF) * [Homotopy Type Theory: Univalent Foundations of Mathematics](http://homotopytypetheory.org/book/) (PDF) * [Introduction to Computing](http://www.computingbook.org/) * [Introduction to Theory of Computation](http://cg.scs.carleton.ca/~michiel/TheoryOfComputation/) (PDF) - Anil Maheshwari and Michiel Smid