Domains and lambda-calculi

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Amadio Roberto (Auteur), Curien Pierre-Louis (Auteur)
Format : Livre
Langue : anglais
Titre complet : Domains and lambda-calculi / Roberto M. Amadio,... Pierre-Louis Curien,...
Publié : Cambridge, New York : Cambridge University Press , cop. 1998
Description matérielle : 1 vol. (XVI-484 p.)
Collection : Cambridge tracts in theoretical computer science ; 46
Sujets :
Documents associés : Autre format: Domains and lambda-calculi
Chargement en cours