Linear Logic in Computer Science /:
This book illustrates linear logic in the application of proof theory to computer science.
Gespeichert in:
| Weitere Verfasser: | , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge :
Cambridge University Press,
2004.
|
| Schriftenreihe: | London Mathematical Society lecture note series ;
no. 316. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | This book illustrates linear logic in the application of proof theory to computer science. |
| Beschreibung: | Title from publishers bibliographic system (viewed 22 Dec 2011). |
| Beschreibung: | 1 online resource (392 pages) |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9780511550850 0511550855 9780521608572 0521608570 9781107367555 1107367557 9781107362642 1107362644 1139882376 9781139882378 1107372119 9781107372115 1299405177 9781299405172 1107365090 9781107365094 |
Internformat
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn776966446 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.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 |d OCLCL | ||
| 019 | |a 715181577 |a 836848754 |a 1020555518 |a 1097119861 |a 1170389871 |a 1170661913 |a 1274001668 |a 1292398225 |a 1300703128 |a 1433228862 | ||
| 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 | ||
| 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 |z (OCoLC)1433228862 | ||
| 050 | 4 | |a QA9.54 .L56 2004 | |
| 055 | 8 | |a QA9.54 |b .L56 2004 | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 7 | |a 511.3/6 |2 22 | |
| 049 | |a MAIN | ||
| 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. | ||
| 650 | 0 | |a Computer science |x Mathematics. |0 http://id.loc.gov/authorities/subjects/sh85042295 | |
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 0 | |a Proof theory. |0 http://id.loc.gov/authorities/subjects/sh85107437 | |
| 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- |1 https://id.oclc.org/worldcat/entity/E39PCjFY6Ydg4GxTdHtp3gwRDq |0 http://id.loc.gov/authorities/names/no2019153862 | |
| 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. |0 http://id.loc.gov/authorities/names/n42015587 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552356 |3 Volltext |
| 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 GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn776966446 |
|---|---|
| _version_ | 1816881786557300736 |
| adam_text | |
| any_adam_object | |
| author2 | Ehrhard, Thomas, 1961- Girard, Jean-Yves Ruet, Paul Scott, Philip |
| author2_role | |
| author2_variant | t e te j y g jyg p r pr p s ps |
| author_GND | http://id.loc.gov/authorities/names/no2019153862 |
| author_facet | Ehrhard, Thomas, 1961- Girard, Jean-Yves Ruet, Paul Scott, Philip |
| author_sort | Ehrhard, Thomas, 1961- |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 .L56 2004 |
| callnumber-search | QA9.54 .L56 2004 |
| callnumber-sort | QA 19.54 L56 42004 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| 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. |
| ctrlnum | (OCoLC)776966446 |
| dewey-full | 511.3/6 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/6 |
| dewey-search | 511.3/6 |
| dewey-sort | 3511.3 16 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04671cam a2200889Ma 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn776966446</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr |||||||||||</controlfield><controlfield tag="008">090511s2004 enk ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">UkCbUP</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">AUD</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MHW</subfield><subfield code="d">EBLCP</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">EUX</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">YDXCP</subfield><subfield code="d">N$T</subfield><subfield code="d">E7B</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">COO</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OL$</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EQO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">715181577</subfield><subfield code="a">836848754</subfield><subfield code="a">1020555518</subfield><subfield code="a">1097119861</subfield><subfield code="a">1170389871</subfield><subfield code="a">1170661913</subfield><subfield code="a">1274001668</subfield><subfield code="a">1292398225</subfield><subfield code="a">1300703128</subfield><subfield code="a">1433228862</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511550850</subfield><subfield code="q">(ebook)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511550855</subfield><subfield code="q">(ebook)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521608572</subfield><subfield code="q">(paperback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521608570</subfield><subfield code="q">(paperback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107367555</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107367557</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107362642</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107362644</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1139882376</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139882378</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107372119</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107372115</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1299405177</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781299405172</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107365090</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107365094</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)776966446</subfield><subfield code="z">(OCoLC)715181577</subfield><subfield code="z">(OCoLC)836848754</subfield><subfield code="z">(OCoLC)1020555518</subfield><subfield code="z">(OCoLC)1097119861</subfield><subfield code="z">(OCoLC)1170389871</subfield><subfield code="z">(OCoLC)1170661913</subfield><subfield code="z">(OCoLC)1274001668</subfield><subfield code="z">(OCoLC)1292398225</subfield><subfield code="z">(OCoLC)1300703128</subfield><subfield code="z">(OCoLC)1433228862</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.54 .L56 2004</subfield></datafield><datafield tag="055" ind1=" " ind2="8"><subfield code="a">QA9.54</subfield><subfield code="b">.L56 2004</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3/6</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Linear Logic in Computer Science /</subfield><subfield code="c">edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2004.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (392 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">London Mathematical Society Lecture Note Series ;</subfield><subfield code="v">no. 316</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publishers bibliographic system (viewed 22 Dec 2011).</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book illustrates linear logic in the application of proof theory to computer science.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85042295</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078115</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85107437</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Informatique</subfield><subfield code="x">Mathématiques.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie de la preuve.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Proof theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ehrhard, Thomas,</subfield><subfield code="d">1961-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjFY6Ydg4GxTdHtp3gwRDq</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2019153862</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Girard, Jean-Yves.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ruet, Paul.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Scott, Philip.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="z">9780521608572</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">London Mathematical Society lecture note series ;</subfield><subfield code="v">no. 316.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42015587</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552356</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH13423459</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH26385105</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL1182539</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10454483</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">552356</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis25154611</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3581443</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10370280</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10689764</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10405682</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn776966446 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:18:15Z |
| institution | BVB |
| isbn | 9780511550850 0511550855 9780521608572 0521608570 9781107367555 1107367557 9781107362642 1107362644 1139882376 9781139882378 1107372119 9781107372115 1299405177 9781299405172 1107365090 9781107365094 |
| language | English |
| oclc_num | 776966446 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (392 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Cambridge University Press, |
| record_format | marc |
| series | London Mathematical Society lecture note series ; |
| series2 | London Mathematical Society Lecture Note Series ; |
| spelling | Linear Logic in Computer Science / edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott. Cambridge : Cambridge University Press, 2004. 1 online resource (392 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier London Mathematical Society Lecture Note Series ; no. 316 Title from publishers bibliographic system (viewed 22 Dec 2011). This book illustrates linear logic in the application of proof theory to computer science. Includes bibliographical references. 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. English. Computer science Mathematics. http://id.loc.gov/authorities/subjects/sh85042295 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Informatique Mathématiques. Logique symbolique et mathématique. Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Computer science Mathematics fast Logic, Symbolic and mathematical fast Proof theory fast Ehrhard, Thomas, 1961- https://id.oclc.org/worldcat/entity/E39PCjFY6Ydg4GxTdHtp3gwRDq http://id.loc.gov/authorities/names/no2019153862 Girard, Jean-Yves. Ruet, Paul. Scott, Philip. Print version: 9780521608572 London Mathematical Society lecture note series ; no. 316. http://id.loc.gov/authorities/names/n42015587 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552356 Volltext |
| spellingShingle | Linear Logic in Computer Science / London Mathematical Society lecture note series ; 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. Computer science Mathematics. http://id.loc.gov/authorities/subjects/sh85042295 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Informatique Mathématiques. Logique symbolique et mathématique. Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Computer science Mathematics fast Logic, Symbolic and mathematical fast Proof theory fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85042295 http://id.loc.gov/authorities/subjects/sh85078115 http://id.loc.gov/authorities/subjects/sh85107437 |
| title | Linear Logic in Computer Science / |
| title_auth | Linear Logic in Computer Science / |
| title_exact_search | Linear Logic in Computer Science / |
| title_full | Linear Logic in Computer Science / edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott. |
| title_fullStr | Linear Logic in Computer Science / edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott. |
| title_full_unstemmed | Linear Logic in Computer Science / edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott. |
| title_short | Linear Logic in Computer Science / |
| title_sort | linear logic in computer science |
| topic | Computer science Mathematics. http://id.loc.gov/authorities/subjects/sh85042295 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Informatique Mathématiques. Logique symbolique et mathématique. Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Computer science Mathematics fast Logic, Symbolic and mathematical fast Proof theory fast |
| topic_facet | Computer science Mathematics. Logic, Symbolic and mathematical. Proof theory. Informatique Mathématiques. Logique symbolique et mathématique. Théorie de la preuve. MATHEMATICS Infinity. MATHEMATICS Logic. Computer science Mathematics Logic, Symbolic and mathematical Proof theory |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552356 |
| work_keys_str_mv | AT ehrhardthomas linearlogicincomputerscience AT girardjeanyves linearlogicincomputerscience AT ruetpaul linearlogicincomputerscience AT scottphilip linearlogicincomputerscience |