skip to content
Linear logic in computer science Preview this item
ClosePreview this item
Checking...

Linear logic in computer science

Author: Thomas Ehrhard
Publisher: Cambridge : Cambridge Univ. Press, 2004.
Series: London Mathematical Society lecture note series, 316.
Edition/Format:   Print book : EnglishView all editions and formats
Publication:Linear Logic in Computer Science.
Summary:

This book illustrates linear logic in the application of proof theory to computer science.

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
São Miguel (2000)
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Thomas Ehrhard
ISBN: 0521608570 9780521608572
OCLC Number: 249096947
In: Ehrhard, Thomas
Notes: Azores Summer School on Linear Logic and Computer Science, held August 30 - Sept. 7, 2000 in St. Miguel, Azores.-Includes bibliographical references.
Description: x, 381 Seiten : Diagramme ; 23 cm.
Contents: Preface; List of contributors; Part I. Tutorials: 1. Category theory for linear logicians R. Blute and Ph. Scott; 2. Proof nets and the x-calculus S. Guerrini; 3. An overview of linear logic programming D. Miller; 4. Linearity and nonlinearity in distributed computation G. Winskel; Part II. Refereed Articles: 5. An axiomatic approach to structural rules for locative linear logic J. M. Andreoli; 6. An introduction to uniformity in ludics C. Faggian, M. R. Fleury-Donnadieu and M. Quatrini; 7. Slicing polarized addictive normalization O. Laurent and L. Toratora De Falco; 8. A topological correctness criterion for muliplicative noncommutative logic P.A. Mellies; Part III. Invited Articles: 9. Bicategories in algebra and linguistics J. Lambek; 10. Between logic and quantic: a tract J. Y. Girard.
Series Title: London Mathematical Society lecture note series, 316.
Responsibility: ed. by Thomas Ehrhard ...
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/249096947> # Linear logic in computer science
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "249096947" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/895871456#Place/cambridge> ; # Cambridge
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://dewey.info/class/511.36/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/895871456#Topic/lineare_logik> ; # Lineare Logik
    schema:about <http://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/895871456#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/895871456#Topic/informatik> ; # Informatik
    schema:about <http://experiment.worldcat.org/entity/work/data/895871456#Topic/lambda_kalkul_swd_id_41664954> ; # Lambda-Kalkül ; SWD-ID: 41664954
    schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/895871456#Topic/beweistheorie_swd_id_41451776> ; # Beweistheorie ; SWD-ID: 41451776
    schema:about <http://experiment.worldcat.org/entity/work/data/895871456#Topic/computer_science_mathematics> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/895871456#Topic/proof_theory> ; # Proof theory
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/895871456#Meeting/azores_summer_school_on_linear_logic_and_computer_science_2000_08_30_09_07_st_miguel> ; # Azores Summer School on Linear Logic and Computer Science (2000.08.30-09.07 : St. Miguel)
    schema:contributor <http://viaf.org/viaf/59794178> ; # Thomas Ehrhard
    schema:datePublished "2004" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/895871456> ;
    schema:genre "São Miguel (2000)" ;
    schema:genre "Kongress" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/895871456#Series/london_mathematical_society_lecture_note_series> ; # London Mathematical Society lecture note series ;
    schema:name "Linear logic in computer science" ;
    schema:productID "249096947" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/249096947#PublicationEvent/cambridge_cambridge_univ_press_2004> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/895871456#Agent/cambridge_univ_press> ; # Cambridge Univ. Press
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0632/2005297208-d.html> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0632/2005297208-t.html> ;
    schema:workExample <http://worldcat.org/isbn/9780521608572> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/249096947> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/895871456#Agent/cambridge_univ_press> # Cambridge Univ. Press
    a bgn:Agent ;
    schema:name "Cambridge Univ. Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/895871456#Meeting/azores_summer_school_on_linear_logic_and_computer_science_2000_08_30_09_07_st_miguel> # Azores Summer School on Linear Logic and Computer Science (2000.08.30-09.07 : St. Miguel)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/895871456#Place/st_miguel> ; # St. Miguel)
    schema:name "Azores Summer School on Linear Logic and Computer Science (2000.08.30-09.07 : St. Miguel)" ;
    .

<http://experiment.worldcat.org/entity/work/data/895871456#Series/london_mathematical_society_lecture_note_series> # London Mathematical Society lecture note series ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/249096947> ; # Linear logic in computer science
    schema:name "London Mathematical Society lecture note series ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/895871456#Topic/beweistheorie_swd_id_41451776> # Beweistheorie ; SWD-ID: 41451776
    a schema:Intangible ;
    schema:name "Beweistheorie ; SWD-ID: 41451776" ;
    .

<http://experiment.worldcat.org/entity/work/data/895871456#Topic/computer_science_mathematics> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/895871456#Topic/lambda_kalkul_swd_id_41664954> # Lambda-Kalkül ; SWD-ID: 41664954
    a schema:Intangible ;
    schema:name "Lambda-Kalkül ; SWD-ID: 41664954" ;
    .

<http://experiment.worldcat.org/entity/work/data/895871456#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical" ;
    .

<http://id.loc.gov/authorities/subjects/sh85042295> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics" ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
    schema:name "Proof theory" ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics" ;
    .

<http://viaf.org/viaf/59794178> # Thomas Ehrhard
    a schema:Person ;
    schema:familyName "Ehrhard" ;
    schema:givenName "Thomas" ;
    schema:name "Thomas Ehrhard" ;
    .

<http://worldcat.org/isbn/9780521608572>
    a schema:ProductModel ;
    schema:isbn "0521608570" ;
    schema:isbn "9780521608572" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.