Gordon Plotkin

Pays :Grande-Bretagne
Langue :anglais
Note :
Informaticien. - Professeur d'informatique théorique à l'Université d'Edinburgh, GB (en 1993)
ISNI :ISNI 0000 0001 1073 0398

Ses activités

Éditeur scientifique3 documents

  • Computational logic

    essays in honor of Alan Robinson

    Description matérielle : VIII-727 p.-[1]f. de front
    Description : Note : Bibliogr. en fin de chap.
    Édition : Cambridge (Mass.) ; London : MIT press , cop. 1991
    Éditeur scientifique : Jean-Louis Lassez

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37478635q]
  • Logical environments

    Description matérielle : XIII-338 p.
    Description : Note : Actes de "Second annual workshop of ESPRIT basic research action 3245 "Logical frameworks : design, implementation and experiment", tenu à Edinburgh du 19 au 24 mai 1991. - Bibliogr. à la fin de chaque chap.
    Édition : Cambridge : Cambridge university press , cop. 1993
    Auteur du texte : ESPRIT basic research action 3245 "Logical framework : design, implementation and experiment". Annual workshop (02 ; 1991 ; Edinburgh, GB)
    Éditeur scientifique : Gérard Huet (informaticien)

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37399817t]
  • Proof, language and interaction

    essays in honour of Robin Milner

    Description matérielle : XIV-722 p.
    Description : Note : Bibliogr. en fin de chapitres. Index
    Édition : Cambridge (Mass.) ; London : MIT press , cop. 2000
    Éditeur scientifique : Colin Stirling, Mads Tofte

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37568380p]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Logical environments / ed. by Gérard Huet, Gordon Plotkin, 1993

Pages équivalentes