Foundations for programming languages/
John C. Mitchell.
- Cambridge, Mass.: MIT Press, c1996.
- xix, 846 p.: ill.; 24 cm.
- Foundations of computing .
Includes bibliographical references (p. [817]-836) and index.
0262133210 (hc : alk. paper)
95045243
GB96-81289
Programming languages (Electronic computers) Langages de programmation.