Foundations For Programming Languages
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1996 |
| Authors | John C. Mitchell |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2055672 |
About Foundations For Programming Languages
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. . . .