https://hackerpaper.kaipfister.de/p/1211.5762/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=15450404urn:hackerpapers:mention:1211.5762:15450404Wed, 11 Oct 2017 15:13:25 GMT<p>For 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…</p><p><a href="https://hackerpaper.kaipfister.de/p/1211.5762/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.CT