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: 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
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: 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
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
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9781849665377 | History by Numbers | An Introduction to Quantitative Approaches | Buch
History by Numbers
An Introduction to Quantitative Approaches
EAN: 9781849665377
Sprache: Englisch
Von/Mit: Mina Ishizu (u. a.)

45,60 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781784390860 | R for Data Science | Dan Toomey | Taschenbuch | Paperback | Englisch
R for Data Science
EAN: 9781784390860
Sprache: Englisch
Von/Mit: Dan Toomey

64,75 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783540107439 | Algorithmen | Entwurf und Analyse | E. Horowitz (u. a.) | Taschenbuch
Algorithmen
Entwurf und Analyse
EAN: 9783540107439
Sprache: Deutsch
Von/Mit: E. Horowitz (u. a.)

54,99 €*

Lieferzeit 4-7 Werktage

Bundle
Cover: 9783662586303 | Digital, m. 1 Buch, m. 1 E-Book | Wie Computer denken. Mit E-Book
Digital, m. 1 Buch, m. 1 E-Book
Wie Computer denken. Mit E-Book
EAN: 9783662586303
Sprache: Deutsch
Von/Mit: Jürgen Beetz

29,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783110691689 | Numerische Mathematik 3 | Peter Deuflhard (u. a.) | Taschenbuch | XVI
Numerische Mathematik 3
Adaptive Lösung partieller Differentialgleichungen
EAN: 9783110691689
Sprache: Deutsch
Von/Mit: Peter Deuflhard (u. a.)

49,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783658324124 | Noch analog oder lebst Du schon? | Rolf Drechsler (u. a.) | Buch
Noch analog oder lebst Du schon?
Mit Noerdman durch die Welt von heute... und morgen
EAN: 9783658324124
Sprache: Deutsch
Von/Mit: Rolf Drechsler (u. a.)

17,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780262532037 | A History of Modern Computing, second edition | Paul E. Ceruzzi | Buch
A History of Modern Computing, second edition
EAN: 9780262532037
Sprache: Englisch
Von/Mit: Paul E. Ceruzzi

39,30 €*

Aktuell nicht verfügbar

Bundle
Cover: 9783141451825 | Sekundo 8. Arbeitsheft mit interaktiven Übungen. Für...
Sekundo 8. Arbeitsheft mit interaktiven Übungen. Für Nordrhein-Westfalen
Mathematik für differenzierende Schulformen - Ausgabe 2018
EAN: 9783141451825
Sprache: Deutsch
Von/Mit: Tim Baumert (u. a.)
Maße: 297 x 207 x 8 mm
Genre: Schule und Lernen

15,25 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781032361079 | Game Audio Programming 4 | Principles and Practices | Guy Somberg
Game Audio Programming 4
Principles and Practices
EAN: 9781032361079
Sprache: Englisch
Von/Mit: Guy Somberg

67,90 €*

Lieferzeit 1-2 Wochen

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