[newaccount86]

This article talks about “linear lisp” with a stack and you basically end up with something forth-like. http://home.pipeline.com/~hbaker1/ForthStack.html Linear Logic and Permutation Stacks--The Forth Shall Be First