Lambda-calcul : types et modèles

Author(s)

Bibliographic Information

Lambda-calcul : types et modèles

Jean-Louis Krivine

（Études et recherches en informatique）

Masson, 1990

Available at  / 4 libraries

Search this Book/Journal

Note

Bibliography: p. [167]-170

Includes index

Related Books： 1-1 of 1

Details

  • NCID
    BA11629253
  • ISBN
    • 2225820910
  • Country Code
    fr
  • Title Language Code
    fre
  • Text Language Code
    fre
  • Place of Publication
    Paris
  • Pages/Volumes
    viii, 176 p
  • Size
    25 cm
  • Parent Bibliography ID
Page Top