Linear Logic for Nets with Bounded Resources

Dmitry A. Archangelsky, Michael I. Dekhtyar, Mikhail A. Taitslin. Linear Logic for Nets with Bounded Resources. Annals of Pure and Applied Logic, 78(1-3):3-28, 1996.

Abstract

Abstract is missing.