Linear Logic and Permutation Stacks—The Forth Shall Be First
Henry G. Baker

dcreager.net/pdf/Baker1994.pdf

:mocking: