Gordon Plotkin

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

Occupations

Éditeur scientifique3 documents

  • Computational logic

    essays in honor of Alan Robinson

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

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

    Material description : XIII-338 p.
    Note : 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.
    Edition : 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

    Material description : XIV-722 p.
    Note : Note : Bibliogr. en fin de chapitres. Index
    Edition : Cambridge (Mass.) ; London : MIT press , cop. 2000
    Éditeur scientifique : Colin Stirling, Mads Tofte

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

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

  • This experimenting space presents innovating visualizations of data.bnf.fr data: diagrams, timelines, maps. This data is available and freely usable (Open license), in RDF or JSON.

Sources and references

Sources

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

Closely matched pages