Advances in linear logic /:
Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientis...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York, NY, USA :
Cambridge University Press,
1995.
|
| Schriftenreihe: | London Mathematical Society lecture note series ;
222. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher. |
| Beschreibung: | Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University. |
| Beschreibung: | 1 online resource (vi, 389 pages) : illustrations |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9781107362420 1107362423 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn842263843 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130509s1995 enka ob 100 0 eng d | ||
| 010 | |z 95016325 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCF |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d YDXCP |d OCLCQ |d AGLDB |d OCLCQ |d UAB |d OCLCQ |d VTS |d REC |d STF |d M8D |d SFB |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ |d INARC | ||
| 019 | |a 1319193662 | ||
| 020 | |a 9781107362420 |q (electronic bk.) | ||
| 020 | |a 1107362423 |q (electronic bk.) | ||
| 020 | |z 0521559618 | ||
| 020 | |z 9780521559614 | ||
| 035 | |a (OCoLC)842263843 |z (OCoLC)1319193662 | ||
| 050 | 4 | |a QA9.A1 |b L56 1995eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 7 | |a 511.3 |2 22 | |
| 084 | |a 31.10 |2 bcl | ||
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Advances in linear logic / |c edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier. |
| 260 | |a Cambridge ; |a New York, NY, USA : |b Cambridge University Press, |c 1995. | ||
| 300 | |a 1 online resource (vi, 389 pages) : |b illustrations | ||
| 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 222 | |
| 500 | |a Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University. | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher. | ||
| 505 | 0 | |a pt. 1. Categories and semantics -- pt. 2. Complexity and expressivity -- pt. 3. Proof theory -- pt. 4. Proof nets -- pt. 5. Geometry of interaction. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 1 | 7 | |a Logica. |2 gtt |
| 650 | 1 | 7 | |a Fundamentele informatica. |2 gtt |
| 650 | 7 | |a Sistemas lógicos não clássicos (congressos) |2 larpcal | |
| 650 | 7 | |a Logique symbolique et mathématique |x Congrès. |2 ram | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Girard, Jean-Yves. | |
| 700 | 1 | |a Lafont, Yves. | |
| 700 | 1 | |a Regnier, Laurent. | |
| 711 | 2 | |a Linear Logic Workshop |d (1993 : |c Mathematical Science Institute, Cornell University) | |
| 776 | 0 | 8 | |i Print version: |t Advances in linear logic. |d Cambridge ; New York, NY, USA : Cambridge University Press, 1995 |z 0521559618 |w (DLC) 95016325 |w (OCoLC)32392940 |
| 830 | 0 | |a London Mathematical Society lecture note series ; |v 222. |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=552378 |3 Volltext |
| 938 | |a EBSCOhost |b EBSC |n 552378 | ||
| 938 | |a YBP Library Services |b YANK |n 10405662 | ||
| 938 | |a Internet Archive |b INAR |n advancesinlinear0000unse_o8k5 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn842263843 |
|---|---|
| _version_ | 1816882231908499457 |
| adam_text | |
| any_adam_object | |
| author2 | Girard, Jean-Yves Lafont, Yves Regnier, Laurent |
| author2_role | |
| author2_variant | j y g jyg y l yl l r lr |
| author_corporate | Linear Logic Workshop |
| author_corporate_role | |
| author_facet | Girard, Jean-Yves Lafont, Yves Regnier, Laurent Linear Logic Workshop |
| author_sort | Girard, Jean-Yves |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.A1 L56 1995eb |
| callnumber-search | QA9.A1 L56 1995eb |
| callnumber-sort | QA 19 A1 L56 41995EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | pt. 1. Categories and semantics -- pt. 2. Complexity and expressivity -- pt. 3. Proof theory -- pt. 4. Proof nets -- pt. 5. Geometry of interaction. |
| ctrlnum | (OCoLC)842263843 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03841cam a2200661 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn842263843</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">130509s1995 enka ob 100 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 95016325 </subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UAB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">REC</subfield><subfield code="d">STF</subfield><subfield code="d">M8D</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">INARC</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">1319193662</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107362420</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107362423</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521559618</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521559614</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)842263843</subfield><subfield code="z">(OCoLC)1319193662</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.A1</subfield><subfield code="b">L56 1995eb</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</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Advances in linear logic /</subfield><subfield code="c">edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge ;</subfield><subfield code="a">New York, NY, USA :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">1995.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (vi, 389 pages) :</subfield><subfield code="b">illustrations</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">222</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">pt. 1. Categories and semantics -- pt. 2. Complexity and expressivity -- pt. 3. Proof theory -- pt. 4. Proof nets -- pt. 5. Geometry of interaction.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="v">Congrès.</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">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Logica.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Fundamentele informatica.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Sistemas lógicos não clássicos (congressos)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="x">Congrès.</subfield><subfield code="2">ram</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</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">Lafont, Yves.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Regnier, Laurent.</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Linear Logic Workshop</subfield><subfield code="d">(1993 :</subfield><subfield code="c">Mathematical Science Institute, Cornell University)</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Advances in linear logic.</subfield><subfield code="d">Cambridge ; New York, NY, USA : Cambridge University Press, 1995</subfield><subfield code="z">0521559618</subfield><subfield code="w">(DLC) 95016325</subfield><subfield code="w">(OCoLC)32392940</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">London Mathematical Society lecture note series ;</subfield><subfield code="v">222.</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=552378</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">552378</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10405662</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Internet Archive</subfield><subfield code="b">INAR</subfield><subfield code="n">advancesinlinear0000unse_o8k5</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> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn842263843 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:25:20Z |
| institution | BVB |
| isbn | 9781107362420 1107362423 |
| language | English |
| oclc_num | 842263843 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (vi, 389 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Cambridge University Press, |
| record_format | marc |
| series | London Mathematical Society lecture note series ; |
| series2 | London Mathematical Society lecture note series ; |
| spelling | Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier. Cambridge ; New York, NY, USA : Cambridge University Press, 1995. 1 online resource (vi, 389 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier London Mathematical Society lecture note series ; 222 Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University. Includes bibliographical references. Print version record. Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher. pt. 1. Categories and semantics -- pt. 2. Complexity and expressivity -- pt. 3. Proof theory -- pt. 4. Proof nets -- pt. 5. Geometry of interaction. Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Logica. gtt Fundamentele informatica. gtt Sistemas lógicos não clássicos (congressos) larpcal Logique symbolique et mathématique Congrès. ram Conference papers and proceedings fast Girard, Jean-Yves. Lafont, Yves. Regnier, Laurent. Linear Logic Workshop (1993 : Mathematical Science Institute, Cornell University) Print version: Advances in linear logic. Cambridge ; New York, NY, USA : Cambridge University Press, 1995 0521559618 (DLC) 95016325 (OCoLC)32392940 London Mathematical Society lecture note series ; 222. 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=552378 Volltext |
| spellingShingle | Advances in linear logic / London Mathematical Society lecture note series ; pt. 1. Categories and semantics -- pt. 2. Complexity and expressivity -- pt. 3. Proof theory -- pt. 4. Proof nets -- pt. 5. Geometry of interaction. Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Logica. gtt Fundamentele informatica. gtt Sistemas lógicos não clássicos (congressos) larpcal Logique symbolique et mathématique Congrès. ram |
| title | Advances in linear logic / |
| title_auth | Advances in linear logic / |
| title_exact_search | Advances in linear logic / |
| title_full | Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier. |
| title_fullStr | Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier. |
| title_full_unstemmed | Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier. |
| title_short | Advances in linear logic / |
| title_sort | advances in linear logic |
| topic | Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Logica. gtt Fundamentele informatica. gtt Sistemas lógicos não clássicos (congressos) larpcal Logique symbolique et mathématique Congrès. ram |
| topic_facet | Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. MATHEMATICS Logic. Logic, Symbolic and mathematical Logica. Fundamentele informatica. Sistemas lógicos não clássicos (congressos) Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552378 |
| work_keys_str_mv | AT girardjeanyves advancesinlinearlogic AT lafontyves advancesinlinearlogic AT regnierlaurent advancesinlinearlogic AT linearlogicworkshopmathematicalscienceinstitutecornelluniversity advancesinlinearlogic |