Mads Tofte

Pays :Danemark
Langue :danois
Note :
Ecrit aussi en anglais
Informaticien. - En poste : IT University, Copenhague (en 2000)
ISNI :ISNI 0000 0001 1698 8031

Ses activités

Auteur du texte1 document

  • Compiler generators

    what they can do, what they might do, and what they will probably never do

    Description matérielle : XI-146 p.
    Description : Note : Bibliogr. p. 137-139. Index
    Édition : Berlin ; Heidelberg ; New York : Springer , cop. 1990

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

Éditeur scientifique1 document

  • 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 : Gordon Plotkin, Colin Stirling

    [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

  • Proof, language, and interaction : essays in honour of Robin Milner / ed. by Gordon Plotkin, Colin Stirling and Mads Tofte, cop. 2000
  • LCNA (CD), 1996-06

Pages équivalentes