Cargando…
Linear Logic in Computer Science /
This book illustrates linear logic in the application of proof theory to computer science.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge :
Cambridge University Press,
2004.
|
| Colección: | London Mathematical Society lecture note series ;
no. 316. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn776966446 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 090511s2004 enk ob 001 0 eng d | ||
| 040 | |a UkCbUP |b eng |e pn |c AUD |d OCLCO |d OCLCQ |d MHW |d EBLCP |d DEBSZ |d EUX |d OCLCO |d OCLCQ |d OCLCF |d YDXCP |d N$T |d E7B |d IDEBK |d OCLCQ |d COO |d UKAHL |d OL$ |d OCLCQ |d EQO |d OCLCQ |d SFB |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 715181577 |a 836848754 |a 1020555518 |a 1097119861 |a 1170389871 |a 1170661913 |a 1274001668 |a 1292398225 |a 1300703128 | ||
| 020 | |a 9780511550850 |q (ebook) | ||
| 020 | |a 0511550855 |q (ebook) | ||
| 020 | |a 9780521608572 |q (paperback) | ||
| 020 | |a 0521608570 |q (paperback) | ||
| 020 | |a 9781107367555 | ||
| 020 | |a 1107367557 | ||
| 020 | |a 9781107362642 |q (electronic bk.) | ||
| 020 | |a 1107362644 |q (electronic bk.) | ||
| 020 | |a 1139882376 | ||
| 020 | |a 9781139882378 | ||
| 020 | |a 1107372119 | ||
| 020 | |a 9781107372115 | ||
| 020 | |a 1299405177 | ||
| 020 | |a 9781299405172 | ||
| 020 | |a 1107365090 | ||
| 020 | |a 9781107365094 | ||
| 029 | 1 | |a AU@ |b 000055792470 | |
| 029 | 1 | |a DEBSZ |b 382457439 | |
| 035 | |a (OCoLC)776966446 |z (OCoLC)715181577 |z (OCoLC)836848754 |z (OCoLC)1020555518 |z (OCoLC)1097119861 |z (OCoLC)1170389871 |z (OCoLC)1170661913 |z (OCoLC)1274001668 |z (OCoLC)1292398225 |z (OCoLC)1300703128 | ||
| 050 | 4 | |a QA9.54 .L56 2004 | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3/6 |2 22 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Linear Logic in Computer Science / |c edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott. |
| 260 | |a Cambridge : |b Cambridge University Press, |c 2004. | ||
| 300 | |a 1 online resource (392 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a London Mathematical Society Lecture Note Series ; |v no. 316 | |
| 500 | |a Title from publishers bibliographic system (viewed 22 Dec 2011). | ||
| 520 | |a This book illustrates linear logic in the application of proof theory to computer science. | ||
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a 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. | |
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computer science |x Mathematics. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Proof theory. | |
| 650 | 6 | |a Informatique |x Mathématiques. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 6 | |a Théorie de la preuve. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Computer science |x Mathematics |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Proof theory |2 fast | |
| 700 | 1 | |a Ehrhard, Thomas, |d 1961- | |
| 700 | 1 | |a Girard, Jean-Yves. | |
| 700 | 1 | |a Ruet, Paul. | |
| 700 | 1 | |a Scott, Philip. | |
| 776 | 0 | 8 | |i Print version: |z 9780521608572 |
| 830 | 0 | |a London Mathematical Society lecture note series ; |v no. 316. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552356 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH13423459 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26385105 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1182539 | ||
| 938 | |a ebrary |b EBRY |n ebr10454483 | ||
| 938 | |a EBSCOhost |b EBSC |n 552356 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis25154611 | ||
| 938 | |a YBP Library Services |b YANK |n 3581443 | ||
| 938 | |a YBP Library Services |b YANK |n 10370280 | ||
| 938 | |a YBP Library Services |b YANK |n 10689764 | ||
| 938 | |a YBP Library Services |b YANK |n 10405682 | ||
| 994 | |a 92 |b IZTAP | ||