Foundations for programming languages

Foundations for programming languages

Enregistré dans:
Détails bibliographiques
Auteur principal : Mitchell John C. (Auteur)
Format : Livre
Langue : anglais
Titre complet : Foundations for programming languages / John C. Mitchell
Publié : Cambridge, Mass., London : MIT Press , cop. 1996
Description matérielle : 1 vol. (XIX-846 p.)
Collection : Foundations of computing
Sujets :
Langages de programmation > Sémantique
Lambda-calcul
Logique mathématique
Description
Bibliographie : Bibliogr. p. [817]-836. Index
ISBN : 0-262-13321-0