Linear Logic and Permutation Stacks - The Forth Shall Be First | Hacker News Reader