Linear logic in computer science:
Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives...
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2004
|
| Schriftenreihe: | London Mathematical Society lecture note series
316 |
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 Volltext |
| Zusammenfassung: | Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Beschreibung: | 1 online resource (x, 381 pages) |
| ISBN: | 9780511550850 |
| DOI: | 10.1017/CBO9780511550850 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043941253 | ||
| 003 | DE-604 | ||
| 005 | 20171004 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s2004 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511550850 |c Online |9 978-0-511-55085-0 | ||
| 024 | 7 | |a 10.1017/CBO9780511550850 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511550850 | ||
| 035 | |a (OCoLC)847068818 | ||
| 035 | |a (DE-599)BVBBV043941253 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 511.36 |2 22 | |
| 084 | |a SI 320 |0 (DE-625)143123: |2 rvk | ||
| 245 | 1 | 0 | |a Linear logic in computer science |c edited by Thomas Ehrhard [and others] |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2004 | |
| 300 | |a 1 online resource (x, 381 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a London Mathematical Society lecture note series |v 316 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | |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 | |
| 520 | |a Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area | ||
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Proof theory | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 0 | 7 | |a Lineare Logik |0 (DE-588)4627066-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |y 2000 |z São Miguel |2 gnd-content | |
| 689 | 0 | 0 | |a Lineare Logik |0 (DE-588)4627066-8 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Ehrhard, Thomas |d 1958- |0 (DE-588)1145922457 |4 edt | |
| 711 | 2 | |a London Mathematical Society |a issuing body |j Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-60857-2 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511550850 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029350224 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511550850 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511550850 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176882701172736 |
|---|---|
| any_adam_object | |
| author2 | Ehrhard, Thomas 1958- |
| author2_role | edt |
| author2_variant | t e te |
| author_GND | (DE-588)1145922457 |
| author_facet | Ehrhard, Thomas 1958- |
| building | Verbundindex |
| bvnumber | BV043941253 |
| classification_rvk | SI 320 |
| collection | ZDB-20-CBO |
| 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 | (ZDB-20-CBO)CR9780511550850 (OCoLC)847068818 (DE-599)BVBBV043941253 |
| dewey-full | 511.36 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.36 |
| dewey-search | 511.36 |
| dewey-sort | 3511.36 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1017/CBO9780511550850 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03949nmm a2200565zcb4500</leader><controlfield tag="001">BV043941253</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171004 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2004 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511550850</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-55085-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511550850</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511550850</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)847068818</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043941253</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.36</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 320</subfield><subfield code="0">(DE-625)143123:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Linear logic in computer science</subfield><subfield code="c">edited by Thomas Ehrhard [and others]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><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 (x, 381 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">London Mathematical Society lecture note series</subfield><subfield code="v">316</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="505" ind1="8" 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="520" ind1=" " ind2=" "><subfield code="a">Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lineare Logik</subfield><subfield code="0">(DE-588)4627066-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2000</subfield><subfield code="z">São Miguel</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Lineare Logik</subfield><subfield code="0">(DE-588)4627066-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ehrhard, Thomas</subfield><subfield code="d">1958-</subfield><subfield code="0">(DE-588)1145922457</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">London Mathematical Society</subfield><subfield code="a">issuing body</subfield><subfield code="j">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-60857-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511550850</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029350224</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511550850</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511550850</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift 2000 São Miguel gnd-content |
| genre_facet | Konferenzschrift 2000 São Miguel |
| id | DE-604.BV043941253 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:15Z |
| institution | BVB |
| isbn | 9780511550850 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029350224 |
| oclc_num | 847068818 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (x, 381 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | London Mathematical Society lecture note series |
| spelling | Linear logic in computer science edited by Thomas Ehrhard [and others] Cambridge Cambridge University Press 2004 1 online resource (x, 381 pages) txt rdacontent c rdamedia cr rdacarrier London Mathematical Society lecture note series 316 Title from publisher's bibliographic system (viewed on 05 Oct 2015) 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 Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area Informatik Mathematik Proof theory Computer science / Mathematics Lineare Logik (DE-588)4627066-8 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf 1\p (DE-588)1071861417 Konferenzschrift 2000 São Miguel gnd-content Lineare Logik (DE-588)4627066-8 s Informatik (DE-588)4026894-9 s 2\p DE-604 Ehrhard, Thomas 1958- (DE-588)1145922457 edt London Mathematical Society issuing body Sonstige oth Erscheint auch als Druckausgabe 978-0-521-60857-2 https://doi.org/10.1017/CBO9780511550850 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Linear logic in computer science 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 Informatik Mathematik Proof theory Computer science / Mathematics Lineare Logik (DE-588)4627066-8 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4627066-8 (DE-588)4026894-9 (DE-588)1071861417 |
| 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 [and others] |
| title_fullStr | Linear logic in computer science edited by Thomas Ehrhard [and others] |
| title_full_unstemmed | Linear logic in computer science edited by Thomas Ehrhard [and others] |
| title_short | Linear logic in computer science |
| title_sort | linear logic in computer science |
| topic | Informatik Mathematik Proof theory Computer science / Mathematics Lineare Logik (DE-588)4627066-8 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Informatik Mathematik Proof theory Computer science / Mathematics Lineare Logik Konferenzschrift 2000 São Miguel |
| url | https://doi.org/10.1017/CBO9780511550850 |
| work_keys_str_mv | AT ehrhardthomas linearlogicincomputerscience AT londonmathematicalsocietyissuingbody linearlogicincomputerscience |