https://hackerpaper.kaipfister.de/p/0908.3347/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=20428075urn:hackerpapers:mention:0908.3347:20428075Sat, 13 Jul 2019 13:59:36 GMT<p>See https://arxiv.org/abs/0903.0340 for a basic introduction to the issues, and https://arxiv.org/abs/0908.3347 for a slightly more extensive treatment, also mentioning proof nets. This does not explicitly say that these diagrams can be understood as the equivalent to sequences in something FORTH-like, but this is in fact what the papers are pointing out in a general sense, so I see it as a rather trivial remark.</p><p><a href="https://hackerpaper.kaipfister.de/p/0908.3347/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.CT