skip to content
From Semantics to Computer Science : Essays in Honour of Gilles Kahn. Preview this item
ClosePreview this item
Checking...

From Semantics to Computer Science : Essays in Honour of Gilles Kahn.

Author: Yves Bertot; Grard Huet; Jean-Jacques Lvy; Gordon Plotkin
Publisher: Leiden : Cambridge University Press, 2009.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the future development of information technology.
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Bertot, Yves.
From Semantics to Computer Science : Essays in Honour of Gilles Kahn.
Leiden : Cambridge University Press, ©2009
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Yves Bertot; Grard Huet; Jean-Jacques Lvy; Gordon Plotkin
ISBN: 9780511768033 0511768036
OCLC Number: 645097598
Description: 1 online resource (596 pages)
Contents: Cover; Half-title; Title; Copyright; Contents; List of contributors; Preface; 1 Determinacy in a synchronous p-calculus; 2 Classical coordination mechanisms in the chemical model; 3 Sequential algorithms as bistable maps; 4 The semantics of dataflow with firing; 5 Kahn networks at the dawn of functional programming; 6 A simple type-theoretic language: Mini-TT; 7 Program semantics and infinite regular terms; 8 Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations; 9 Generalized .nite developments; 10 Semantics of program representation graphs. 11 From Centaur to the Meta-Environment: a tribute to a great meta-technologist12 Towards a theory of document structure; 13 Grammars as software libraries; 14 The Leordo computation system; 15 Theorem-proving support in programming language semantics; 16 Nominal veri.cation of algorithm W; 17 A constructive denotational semantics for Kahn networks in Coq; 18 Asclepios: a research project team at INRIA for the analysis and.

Abstract:

Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the future development of information technology.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/645097598> # From Semantics to Computer Science : Essays in Honour of Gilles Kahn.
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "645097598" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/864083868#Place/leiden> ; # Leiden
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/864083868#Topic/computer_science_it> ; # Computer Science--IT
   schema:about <http://dewey.info/class/004/> ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/114716727> ; # Jean-Jacques Lvy
   schema:contributor <http://viaf.org/viaf/81146152> ; # Gordon Plotkin
   schema:contributor <http://viaf.org/viaf/14812854> ; # Grard Huet
   schema:creator <http://viaf.org/viaf/8238368> ; # Yves Bertot
   schema:datePublished "2009" ;
   schema:description "Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the future development of information technology."@en ;
   schema:description "Cover; Half-title; Title; Copyright; Contents; List of contributors; Preface; 1 Determinacy in a synchronous p-calculus; 2 Classical coordination mechanisms in the chemical model; 3 Sequential algorithms as bistable maps; 4 The semantics of dataflow with firing; 5 Kahn networks at the dawn of functional programming; 6 A simple type-theoretic language: Mini-TT; 7 Program semantics and infinite regular terms; 8 Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations; 9 Generalized .nite developments; 10 Semantics of program representation graphs."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/864083868> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/864083868#CreativeWork/from_semantics_to_computer_science_essays_in_honour_of_gilles_kahn> ;
   schema:name "From Semantics to Computer Science : Essays in Honour of Gilles Kahn."@en ;
   schema:productID "645097598" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/645097598#PublicationEvent/leiden_cambridge_university_press_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/864083868#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=542764> ;
   schema:workExample <http://worldcat.org/isbn/9780511768033> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/645097598> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/864083868#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/864083868#Topic/computer_science_it> # Computer Science--IT
    a schema:Intangible ;
   schema:name "Computer Science--IT"@en ;
    .

<http://viaf.org/viaf/114716727> # Jean-Jacques Lvy
    a schema:Person ;
   schema:familyName "Lvy" ;
   schema:givenName "Jean-Jacques" ;
   schema:name "Jean-Jacques Lvy" ;
    .

<http://viaf.org/viaf/14812854> # Grard Huet
    a schema:Person ;
   schema:familyName "Huet" ;
   schema:givenName "Grard" ;
   schema:name "Grard Huet" ;
    .

<http://viaf.org/viaf/81146152> # Gordon Plotkin
    a schema:Person ;
   schema:familyName "Plotkin" ;
   schema:givenName "Gordon" ;
   schema:name "Gordon Plotkin" ;
    .

<http://viaf.org/viaf/8238368> # Yves Bertot
    a schema:Person ;
   schema:familyName "Bertot" ;
   schema:givenName "Yves" ;
   schema:name "Yves Bertot" ;
    .

<http://worldcat.org/entity/work/data/864083868#CreativeWork/from_semantics_to_computer_science_essays_in_honour_of_gilles_kahn>
    a schema:CreativeWork ;
   rdfs:label "From Semantics to Computer Science : Essays in Honour of Gilles Kahn." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/645097598> ; # From Semantics to Computer Science : Essays in Honour of Gilles Kahn.
    .

<http://worldcat.org/isbn/9780511768033>
    a schema:ProductModel ;
   schema:isbn "0511768036" ;
   schema:isbn "9780511768033" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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