Title: Computational Aspects of Linear Logic (Foundations of Computing Series)
Subjects: Linear programming, Logic design