Cargando…
Lambda-calculus and combinators, an introduction /
"In this up-to-date account of the subject, the grammar and basic properties of both combinatory logic and [lambda]-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. [lambda]-calculus models, which...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge, UK ; New York :
Cambridge University Press,
2008.
|
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | "In this up-to-date account of the subject, the grammar and basic properties of both combinatory logic and [lambda]-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. [lambda]-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth."--Jacket |
|---|---|
| Descripción Física: | 1 online resource (xi, 345 pages) : illustrations |
| Bibliografía: | Includes bibliographical references (pages 323-333) and index. |
| ISBN: | 9780511415562 0511415567 9780521898850 0521898854 0511413297 9780511413292 9780511809835 0511809832 1281751529 9781281751522 9780511412363 0511412363 |