Lambda-Calculus and Combinators | Buch

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9780521898850 | Lambda-Calculus and Combinators | An Introduction | Hindley (u. a.)

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

78,75 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.

Erscheinungsjahr:	2013
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Seiten:	358
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
Maße:	235 x 157 x 26 mm
Von/Mit:	J. Roger Hindley (u. a.)
Erscheinungsdatum:	22.02.2013
Gewicht:	0,734 kg

Ähnliche Produkte