Intersection Types and Lambda Theories · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/cs_0211011/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTIntersection Types and Lambda Theories — mentioned by codebjehttps://news.ycombinator.com/item?id=45296422urn:hackerpapers:mention:cs_0211011:45296422Thu, 18 Sep 2025 23:51:28 GMT<p>It looks like it doesn&#x27;t handle ArXiv IDs that have a forward slash in them, eg, https://arxiv.org/abs/cs/0211011 as viewed at https://asxiv.org/pdf/cs/0211011 is a 404 error.</p><p><a href="https://hackerpaper.kaipfister.de/p/cs_0211011/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO