Title: Computational aspects of linear logic
First published: 1995
Subjects: Data processing, Logic, Symbolic and mathematical, Proof theory, Symbolic and mathematical Logic
LC classification: QA9 .L565 1995