Tell your friends about this item:
The Structure of Typed Programming Languages - Foundations of Computing David A. Schmidt
Do you have a profile? Log in
Get notified about new David A. Schmidt releases
Our customers say:
Add to your iMusic wish list
The Structure of Typed Programming Languages - Foundations of Computing
David A. Schmidt
The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory.
383 pages
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | March 1, 1994 |
| ISBN13 | 9780262691710 |
| Publishers | MIT Press Ltd |
| Pages | 383 |
| Dimensions | 175 × 226 × 23 mm · 680 g |
| Series Editor | Garey, Michael R. |
| Series Editor | Meyer, Albert |
More by David A. Schmidt
Show all
More from the same publisher
See all of David A. Schmidt ( e.g. Paperback Book )