28661 Elie Adam: Systems, generativity an interactional effects. PhD Thesis MIT 2017, 290p. Andrea Asperti/Giuseppe Longo: Categories, types, and structures. An introduction to category theory for the working computer scientist. MIT Press 1991, 330p. 0-262-01125-5. Michael Barr/Charles Wells: Category theory for computing science. Univ. Montreal 1999, 530p. $45. 13023 L. Birkedal/A. Carboni/Giuseppe Rosolini/D. Scott: Type theory via exact categories (extended abstract). Internet ca. 1996, 11p. 28662 Brendan Fong: The algebra of open and interconnected systems. PhD Thesis Trinity College 2016, 230p. [Arxiv 1609.05382] 28663 Brendan Fong/David Spivak/Remy Tuyeras: Backprop as functor. Arxiv 1711.10455 (2017), 17p. 28648 Brendan Fong/David Spivak: Seven sketches in compositionality - an invitation to applied category theory. Arxiv 1803.05316 (2018), 350p. [Printed edition: Cambridge UP 2019, 350p. Eur 33.] 18866 Joseph Goguen: A categorical manifesto. Internet ca. 1991, 20p. 18871 Joseph Goguen: Tossing algebraic flowers down the great divide. Internet 1999, 26p. 20301 Georgios Lajios: Zur kategoriellen Beschreibung von Schichtenarchitekturen. Diss. Univ. Dortmund 2005, 165p. Eugenio Moggi/Giuseppe Rosolini (ed.): Category theory and computer science. Springer LN CS 1997, 310p. 3-540-63455-X. DM 74. L. Paulson: ML for the working programmer. Cambridge UP 1991. Benjamin Pierce: Basic category theory for computer scientists. MIT Press 1991, 100p. 0-262--66071-7. $18. David Pitt/David Rydeheard/Peter Johnstone (ed.): Category theory and computer science. Springer LN CS 953 (1995), 250p. 3-540-60164-3. DM 52. D. Rydeheard/R. Burstall: Computational category theory. Prentice Hall 1988. 28664 Patrick Schultz/David Spivak/Christina Vasilakopoulou: Dynamical systems and sheaves. Arxiv 1609.08086 (2019), 59p. 28668 Alberto Speranzon/David Spivak/Srivatsan Varadarajan: Abstraction, composition and contracts - a sheaf-theoretic approach. Arxiv 1802.03080 (2018), 22p. 28667 David Spivak: Simplicial databases. Arxiv 0904.2012 (2009), 35p. 28666 David Spivak: Table manipulation in simplicial databases. Arxiv 1003.2682 (2010), 8p. 28660 David Spivak: Category theory for scientists. Internet 2013, 270p. 28671 Philip Wadler: Comprehending monads. Internet 1992, 38p. 13027 Philip Wadler: Monads and composable continuations. Lisp & Symb. Comp. 7 (1993), 39-56. 19949 R. Walters: Categories and computer science. Cambridge UP 2006, 170p. Eur 25.