Linear Logic and Permutation Stacks–The Forth Shall Be First | Dark Hacker News