Domains and lambda-calculi

Domains and lambda-calculi

Saved in:
Bibliographic Details
Main Authors : Amadio Roberto (Auteur), Curien Pierre-Louis (Auteur)
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 :
Lambda-calcul
Langages de programmation > Sémantique
Related Items : Additional physical form: Domains and lambda-calculi

Bib. CRDM (Mathématiques)

Holdings details from Bib. CRDM (Mathématiques)
Location Call Number Loan type Status
Bibliothèque 68C53 Prêt sans prolongation Available