Zur Startseite gehen
0,00 €*
Cover: 9780521898850 | Lambda-Calculus and Combinators | An Introduction | Hindley (u. a.)
Dekorationsartikel gehören nicht zum Leistungsumfang.
Lambda-Calculus and Combinators
An Introduction
Buch von J. Roger Hindley (u. a.)
Sprache: Englisch

94,25 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
This book gives an account of combinatory logic and lambda-calculus models.
This book gives an account of combinatory logic and lambda-calculus models.
Über den Autor
J. Roger Hindley is an Honorary Research Fellow at Swansea University, Wales. His main research interests are Lambda-calculus and combinatory logic and he has taught at many international universities including Bristol University, Pennsylvania State University and Tokyo Institute of technology. This is his 7th book.
Inhaltsverzeichnis
Preface; 1. The ¿-calculus; 2. Combinatory logic; 3. The power of ¿ and CL; 4. Computable functions; 5. Undecidability; 6. Formal theories; 7. Extensionality in ¿-calculus; 8. Extensionality in CL; 9. Correspondence between ¿ and CL; 10. Simple typing, Church-style; 11. Simple typing, Curry-style in CL; 12. Simple typing, Curry-style in ¿; 13. Generalizations of typing; 14. Models of CL; 15. Models of ¿ ; 16. Scott's D¿ and other models; Appendix 1. ¿-conversion; Appendix 2. Confluence proofs; Appendix 3. Normalization proofs; Appendix 4. Care of your pet combinator; Appendix 5. Answers to starred exercises; Bibliography; Index.
Details
Erscheinungsjahr: 2013
Fachbereich: Grundlagen
Genre: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521898850
ISBN-10: 0521898854
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Hindley, J. Roger
Seldin, Jonathan P.
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 235 x 157 x 26 mm
Von/Mit: J. Roger Hindley (u. a.)
Erscheinungsdatum: 22.02.2013
Gewicht: 0,734 kg
Artikel-ID: 101845255
Über den Autor
J. Roger Hindley is an Honorary Research Fellow at Swansea University, Wales. His main research interests are Lambda-calculus and combinatory logic and he has taught at many international universities including Bristol University, Pennsylvania State University and Tokyo Institute of technology. This is his 7th book.
Inhaltsverzeichnis
Preface; 1. The ¿-calculus; 2. Combinatory logic; 3. The power of ¿ and CL; 4. Computable functions; 5. Undecidability; 6. Formal theories; 7. Extensionality in ¿-calculus; 8. Extensionality in CL; 9. Correspondence between ¿ and CL; 10. Simple typing, Church-style; 11. Simple typing, Curry-style in CL; 12. Simple typing, Curry-style in ¿; 13. Generalizations of typing; 14. Models of CL; 15. Models of ¿ ; 16. Scott's D¿ and other models; Appendix 1. ¿-conversion; Appendix 2. Confluence proofs; Appendix 3. Normalization proofs; Appendix 4. Care of your pet combinator; Appendix 5. Answers to starred exercises; Bibliography; Index.
Details
Erscheinungsjahr: 2013
Fachbereich: Grundlagen
Genre: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521898850
ISBN-10: 0521898854
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Hindley, J. Roger
Seldin, Jonathan P.
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 235 x 157 x 26 mm
Von/Mit: J. Roger Hindley (u. a.)
Erscheinungsdatum: 22.02.2013
Gewicht: 0,734 kg
Artikel-ID: 101845255
Sicherheitshinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...