3 ms·
Can you name a better source?
by jimhefferon 9y ago
Can you name a better source?
- mathgenius 9y agoBetter source for applications of category theory in computer science? This is a very big subject... I see that the author of the paper has some references in his conclusion that dig a bit deeper into this.
- danharaj 9y agoFor a professional category theorist interested in theoretical computer science? The thing is, they could easily just dive into reading some papers on the subject. The intuition and mechanical skill of category theory is easily adapted to thinking about computation. Here are some relatively introductory treatments of some parts of CS in category theory: Introduction to Higher-Order Categorical Logic - Lambek and Scott Categorical Logic from a categorical point of view - Mike Shulman [0] Classical Lambda Calculus in Modern Dress - Martin Hyland [1] Computer Science page on the nlab - great place to get lost [2] [0] http://mikeshulman.github.io/catlog/catlog.pdf http://mikeshulman.github.io/catlog/catlog.pdf [1] https://arxiv.org/abs/1211.5762 https://arxiv.org/abs/1211.5762 [2] https://ncatlab.org/nlab/show/computer+science https://ncatlab.org/nlab/show/computer+science