Description |
1 online resource (392 pages). |
|
text file |
Series |
London Mathematical Society Lecture Note Series ; no. 316
|
|
London Mathematical Society lecture note series ; no. 316.
|
Note |
Title from publishers bibliographic system (viewed 22 Dec 2011). |
Summary |
This book illustrates linear logic in the application of proof theory to computer science. |
Bibliography |
Includes bibliographical references. |
Contents |
Category theory for linear logicians / R. Blute and Ph. Scott -- Proof nets and the [lambda]-calculus / S. Guerrini -- An overview of linear logic programming / D. Miller -- Linearity and nonlinearity in distributed computation / G. Winskel -- An axiomatic approach to structural rules for locative linear logic / J.-M. Andreoli -- An introduction to uniformity in Ludics / C. Faggian, M.-R. Fleury-Donnadieu and M. Quatrini -- Slicing polarized additive normalization / O. Laurent, L. Tortora de Falco -- A topological correctness criterion for multiplicative non-commutative logic / P.-A. Melliès -- Bicategories in algebra and linguistics / J. Lambek -- Between logic and quantic : a tract / J.-Y. Girard. |
Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
Subject |
Computer science -- Mathematics.
|
|
Computer science -- Mathematics. |
|
Logic, Symbolic and mathematical.
|
|
Logic, Symbolic and mathematical. |
|
Proof theory.
|
|
Proof theory. |
Genre/Form |
Electronic books.
|
Added Author |
Ehrhard, Thomas.
|
|
Girard, Jean-Yves.
|
|
Ruet, Paul.
|
|
Scott, Philip.
|
Other Form: |
Print version: 9780521608572 |
ISBN |
9780511550850 (ebook) |
|
0511550855 (ebook) |
|
9780521608572 (paperback) |
|
0521608570 (paperback) |
|
9781107367555 |
|
1107367557 |
|
9781107362642 (electronic book) |
|
1107362644 (electronic book) |
|