by Jean-YvesGirard (Editor), YvesLafont (Editor), Laurent Regnier (Editor)
This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.
Format: Paperback
Pages: 400
Publisher: Cambridge University Press
Published: 22 Jun 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614