Pierre-Louis Curien

Pays :France
Langue :français
Note :
Écrit aussi en anglais
Mathématicien et informaticien. - En poste au Département de mathématiques et informatique de l'Ecole normale supérieure, Paris (en 1993)
ISNI :ISNI 0000 0001 0925 8129

Ses activités

Auteur du texte2 documents

  • Categorical combinators, sequential algorithms and functional programming

    2nd ed.
    Description matérielle : XX-403 p.
    Description : Note : Bibliogr. p. 381-394. Index
    Édition : Basel ; Boston : Birkhäuser , cop. 1993

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37443526n]
  • Domains and lambda-calculi

    Description matérielle : 1 vol. (XVI-484 p.)
    Édition : Cambridge : Cambridge university press , 1998
    Auteur du texte : Roberto M. Amadio

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

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

  • Categorical combinators, sequential algorithms and functional programming / Pierre-Louis Curien, 1993

Pages équivalentes