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 |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn247301736 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 080910s2008 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d OSU |d CDX |d DLC |d IG# |d IDEBK |d OCLCQ |d E7B |d OCLCQ |d REDDC |d OCLCQ |d CAMBR |d A7U |d OCLCQ |d OCLCF |d CUY |d OCLCQ |d STF |d OCLCQ |d K6U |d UKAHL |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 263077965 |a 646757327 |a 666935297 |a 815686836 |a 817921739 |a 819628044 |a 1035714333 |a 1191052028 | ||
| 020 | |a 9780511415562 |q (electronic bk.) | ||
| 020 | |a 0511415567 |q (electronic bk.) | ||
| 020 | |a 9780521898850 |q (hardback) | ||
| 020 | |a 0521898854 |q (hardback) | ||
| 020 | |a 0511413297 |q (ebook ; |q ebrary) | ||
| 020 | |a 9780511413292 |q (ebook ; |q ebrary) | ||
| 020 | |a 9780511809835 |q (electronic bk.) | ||
| 020 | |a 0511809832 |q (electronic bk.) | ||
| 020 | |a 1281751529 | ||
| 020 | |a 9781281751522 | ||
| 020 | |a 9780511412363 |q (e-book) | ||
| 020 | |a 0511412363 | ||
| 029 | 1 | |a IG# |b 9780521898850 | |
| 035 | |a (OCoLC)247301736 |z (OCoLC)263077965 |z (OCoLC)646757327 |z (OCoLC)666935297 |z (OCoLC)815686836 |z (OCoLC)817921739 |z (OCoLC)819628044 |z (OCoLC)1035714333 |z (OCoLC)1191052028 | ||
| 050 | 4 | |a QA9.5 |b .H565 2008eb | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a PBCD |2 bicssc | |
| 082 | 0 | 4 | |a 511.3/5 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Hindley, J. Roger. | |
| 245 | 1 | 0 | |a Lambda-calculus and combinators, an introduction / |c J. Roger Hindley, Jonathan P. Seldin. |
| 260 | |a Cambridge, UK ; |a New York : |b Cambridge University Press, |c 2008. | ||
| 300 | |a 1 online resource (xi, 345 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (pages 323-333) and index. | ||
| 505 | 0 | |a Preface; 1. The lambda-calculus; 2. Combinatory logic; 3. The power of lambda and combinations; 4. Representing the computable functions; 5. Undecidability theorem; 6. Formal theories; 7. Extensionality in lambda-calculus; 8. Extensionality in CL; 9. Correspondence between lambda and CL; 10. Simple typing, Church-style; 11. Simple typing, Curry-style in CL; 12. Simple typing, Curry-style in lambda; 13. Generalizations of typing; 14. Models of CL; 15. Models of lambda-calculus; 16. Scott's D and other models; Appendix A1. Bound variables and alpha-conversion; Appendix A2. Confluence proofs; Appendix A3. Strong normalization proofs; Appendix A4. Care of your pet combinator; Appendix A5. Answers to starred exercises; Bibliography; Index. | |
| 520 | 1 | |a "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 | |
| 588 | 0 | |a Print version record. | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Lambda calculus. | |
| 650 | 0 | |a Combinatory logic. | |
| 650 | 6 | |a Lambda-calcul. | |
| 650 | 6 | |a Logique combinatoire. | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a Combinatory logic |2 fast | |
| 650 | 7 | |a Lambda calculus |2 fast | |
| 700 | 1 | |a Seldin, J. P. | |
| 776 | 0 | 8 | |i Print version: |a Hindley, J. Roger. |t Lambda-calculus and combinators, an introduction. |d Cambridge, UK ; New York : Cambridge University Press, 2008 |z 9780521898850 |z 0521898854 |w (DLC) 2008006276 |w (OCoLC)192045757 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=234394 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH22947971 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH37559753 | ||
| 938 | |a Coutts Information Services |b COUT |n 8860856 | ||
| 938 | |a ebrary |b EBRY |n ebr10240318 | ||
| 938 | |a EBSCOhost |b EBSC |n 234394 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 175152 | ||
| 938 | |a Ingram |b INGR |n 9780521898850 | ||
| 938 | |a YBP Library Services |b YANK |n 2856860 | ||
| 938 | |a YBP Library Services |b YANK |n 2881927 | ||
| 938 | |a YBP Library Services |b YANK |n 9247180 | ||
| 938 | |a YBP Library Services |b YANK |n 2873914 | ||
| 994 | |a 92 |b IZTAP | ||