Domains and lambda-calculi
Saved in:
Main Authors : | , |
---|---|
Format : | Book |
Language : | anglais |
Title statement : | Domains and lambda-calculi / Roberto M. Amadio,... Pierre-Louis Curien,... |
Published : |
Cambridge, New York :
Cambridge University Press
, cop. 1998 |
Physical Description : | 1 vol. (XVI-484 p.) |
Series : | Cambridge tracts in theoretical computer science ; 46 |
Subjects : | |
Related Items : | Additional physical form:
Domains and lambda-calculi |
Bib. CRDM (Mathématiques)
Location | Call Number | Loan type | Status |
---|---|---|---|
Bibliothèque | 68C53 | Prêt sans prolongation | Available |