John Maraist. Separating Weakening and Contraction in a Linear Lambda Calculus. In Xuemin Lin, editor, Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS 98), Perth, WA, Australia, February 2-3, 1998. Volume 20 of Australian Computer Science Communications, pages 151-166, Springer-Verlag Singapore Pte. Ltd., 1998.
No references recorded for this publication.
No citations of this publication recorded.