The First-Order Syntax of Variadic Functions · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1105.4135/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTThe First-Order Syntax of Variadic Functions — mentioned by xamuelhttps://news.ycombinator.com/item?id=5324647urn:hackerpapers:mention:1105.4135:5324647Tue, 05 Mar 2013 14:34:56 GMT<p>Here is the paper: http://arxiv.org/abs/1105.4135 And here is the formalization of sections 2-3 in Coq: http://www.math.osu.edu/~alexander.421/mech.txt</p><p><a href="https://hackerpaper.kaipfister.de/p/1105.4135/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.LO