![Category Theory and Computer Science, 7th International Conference, Ctcs'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings by Eugenio Moggi | 9783540634553 | Booktopia Category Theory and Computer Science, 7th International Conference, Ctcs'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings by Eugenio Moggi | 9783540634553 | Booktopia](https://www.booktopia.com.au/covers/150/9783540634553/0000/category-theory-and-computer-science.jpg)
Category Theory and Computer Science, 7th International Conference, Ctcs'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings by Eugenio Moggi | 9783540634553 | Booktopia
![Theoretical Computer Science for the Working Category Theorist von Noson S. Yanofsky - englisches Buch - bücher.de Theoretical Computer Science for the Working Category Theorist von Noson S. Yanofsky - englisches Buch - bücher.de](https://bilder.buecher.de/produkte/62/62916/62916277z.jpg)
Theoretical Computer Science for the Working Category Theorist von Noson S. Yanofsky - englisches Buch - bücher.de
![Basic Category Theory for Computer Scientists (Foundations of Computing) : Pierce, Benjamin C.: Amazon.de: Bücher Basic Category Theory for Computer Scientists (Foundations of Computing) : Pierce, Benjamin C.: Amazon.de: Bücher](https://m.media-amazon.com/images/I/41bnzk4sPpL._SX370_BO1,204,203,200_.jpg)
Basic Category Theory for Computer Scientists (Foundations of Computing) : Pierce, Benjamin C.: Amazon.de: Bücher
![Topology and Category Theory in Computer Science: Reed, G. M., Roscoe, A. W., Wachter, R. F.: 9780198537601: Books - Amazon.ca Topology and Category Theory in Computer Science: Reed, G. M., Roscoe, A. W., Wachter, R. F.: 9780198537601: Books - Amazon.ca](https://m.media-amazon.com/images/I/31TXrYBWRWL._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)
Topology and Category Theory in Computer Science: Reed, G. M., Roscoe, A. W., Wachter, R. F.: 9780198537601: Books - Amazon.ca
![GitHub - hmemcpy/milewski-ctfp-pdf: Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source GitHub - hmemcpy/milewski-ctfp-pdf: Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source](https://user-images.githubusercontent.com/601206/47271389-8eea0900-d581-11e8-8e81-5b932e336336.png)
GitHub - hmemcpy/milewski-ctfp-pdf: Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
![Basic Category Theory for Computer Scientists (Foundations of Computing): Pierce, Benjamin C.: 9780262660716: Amazon.com: Books Basic Category Theory for Computer Scientists (Foundations of Computing): Pierce, Benjamin C.: 9780262660716: Amazon.com: Books](https://images-na.ssl-images-amazon.com/images/I/41MazR5GZQL._AC_UL600_SR600,600_.jpg)
Basic Category Theory for Computer Scientists (Foundations of Computing): Pierce, Benjamin C.: 9780262660716: Amazon.com: Books
![Embedding Ontologies using Category Theory Semantics | CBRC | Computational Bioscience Research Center Embedding Ontologies using Category Theory Semantics | CBRC | Computational Bioscience Research Center](https://cemse.kaust.edu.sa/sites/default/files/styles/max_fullhd_scale/public/2022-03/KAUST-CEMSE-Program-Event-Type-Speaker-Name-Event-Name-Meaningful-Part.jpg?itok=cANOvneF)
Embedding Ontologies using Category Theory Semantics | CBRC | Computational Bioscience Research Center
GitHub - bennn/pierce-categories: Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.
![9780131204867: Category Theory for Computing Science - Barr, Michael; Wells, Charles: 0131204866 - AbeBooks 9780131204867: Category Theory for Computing Science - Barr, Michael; Wells, Charles: 0131204866 - AbeBooks](https://pictures.abebooks.com/isbn/9780131204867-us.jpg)