Jeremy Gibbons

Langue :anglais
Sexe :masculin
Note :
En poste : Oxford university computing laboratory, GB (en 2002)
ISNI :ISNI 0000 0001 0995 4845

Ses activités

Éditeur scientifique1 document

  • Algebraic and coalgebraic methods in the mathematics of program construction

    International summer school and workshop, Oxford, UK, April 10-14, 2000, revised lectures

    Description matérielle : 1 vol. (XIV-385 p.)
    Description : Note : Notes bibliogr.
    Édition : Berlin : Springer , cop. 2002
    Éditeur scientifique : Roland C. Backhouse, Roy L. Crole

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb38843845k]

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

  • Algebraic and coalgebraic methods in the mathematics of program construction / Roland Backhouse, Roy Crole, Jeremy Gibbons, eds., cop. 2002

Pages équivalentes