Computational aspects of linear logic
By: Patrick Lincoln.
Series: Foundations of computing series; Foundations of computing.
Publisher: MIT Press
Published: 1995
Place of publication: Cambridge, MA
Language: eng
Subjects: Logic, Symbolic and mathematical -- Data processing; Proof theory
Notes: Includes bibliographical references (p.    -   ) and index.