skip to content
Introduction a la théorie des langages de programmation Preview this item
ClosePreview this item
Checking...

Introduction a la théorie des langages de programmation

Author: Gilles Dowek; Jean-Jacques Lévy
Publisher: Palaiseau : École Polytechnique, ©2006.
Edition/Format:   Print book : FrenchView all editions and formats
Database:WorldCat
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

Document Type: Book
All Authors / Contributors: Gilles Dowek; Jean-Jacques Lévy
ISBN: 2730213333 9782730213332
OCLC Number: 183914604
Description: 109 p
Responsibility: Gilles Dowek et Jean-Jacques Lévy.
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/183914604> # Introduction a la théorie des langages de programmation
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "183914604" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/117480467#Place/palaiseau> ; # Palaiseau
   schema:about <http://experiment.worldcat.org/entity/work/data/117480467#Topic/compilation> ; # compilation
   schema:about <http://experiment.worldcat.org/entity/work/data/117480467#Topic/mini_ml> ; # MINI-ML
   schema:about <http://experiment.worldcat.org/entity/work/data/117480467#Topic/langages_de_programmation_fonctionnelle> ; # Langages de programmation fonctionnelle
   schema:about <http://experiment.worldcat.org/entity/work/data/117480467#Topic/programmation_informatique> ; # Programmation (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/117480467#Topic/langages_de_programmation> ; # Langages de programmation
   schema:about <http://experiment.worldcat.org/entity/work/data/117480467#Topic/theorie_des_langages_informatique> ; # théorie des langages (informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/117480467#Topic/typage> ; # typage
   schema:about <http://experiment.worldcat.org/entity/work/data/117480467#Topic/langage_fonctionnel> ; # Langage fonctionnel
   schema:about <http://experiment.worldcat.org/entity/work/data/117480467#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
   schema:about <http://experiment.worldcat.org/entity/work/data/117480467#Topic/pcf> ; # PCF
   schema:about <http://dewey.info/class/005.13/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/117480467#Topic/langage_de_programmation> ; # Langage de programmation
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/117480467#Person/levy_jean_jacques_1947> ; # Jean-Jacques Lévy
   schema:copyrightYear "2006" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/117480467#Person/dowek_gilles> ; # Gilles Dowek
   schema:datePublished "2006" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/117480467> ;
   schema:inLanguage "fr" ;
   schema:name "Introduction a la théorie des langages de programmation"@fr ;
   schema:productID "183914604" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/183914604#PublicationEvent/palaiseau_ecole_polytechnique_2006> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/117480467#Agent/ecole_polytechnique> ; # École Polytechnique
   schema:workExample <http://worldcat.org/isbn/9782730213332> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/183914604> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/117480467#Agent/ecole_polytechnique> # École Polytechnique
    a bgn:Agent ;
   schema:name "École Polytechnique" ;
    .

<http://experiment.worldcat.org/entity/work/data/117480467#Person/dowek_gilles> # Gilles Dowek
    a schema:Person ;
   schema:familyName "Dowek" ;
   schema:givenName "Gilles" ;
   schema:name "Gilles Dowek" ;
    .

<http://experiment.worldcat.org/entity/work/data/117480467#Person/levy_jean_jacques_1947> # Jean-Jacques Lévy
    a schema:Person ;
   schema:birthDate "1947" ;
   schema:familyName "Lévy" ;
   schema:givenName "Jean-Jacques" ;
   schema:name "Jean-Jacques Lévy" ;
    .

<http://experiment.worldcat.org/entity/work/data/117480467#Topic/langage_de_programmation> # Langage de programmation
    a schema:Intangible ;
   schema:name "Langage de programmation"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/117480467#Topic/langage_fonctionnel> # Langage fonctionnel
    a schema:Intangible ;
   schema:name "Langage fonctionnel"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/117480467#Topic/langages_de_programmation> # Langages de programmation
    a schema:Intangible ;
   schema:name "Langages de programmation"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/117480467#Topic/langages_de_programmation_fonctionnelle> # Langages de programmation fonctionnelle
    a schema:Intangible ;
   schema:name "Langages de programmation fonctionnelle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/117480467#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
   schema:name "Langages de programmation--Sémantique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/117480467#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
   schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/117480467#Topic/theorie_des_langages_informatique> # théorie des langages (informatique)
    a schema:Intangible ;
   schema:name "théorie des langages (informatique)"@fr ;
    .

<http://worldcat.org/isbn/9782730213332>
    a schema:ProductModel ;
   schema:isbn "2730213333" ;
   schema:isbn "9782730213332" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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