Lambda calculus lies at the very foundation of computer science. Besides its historical role in computability theory, it has had significant influence on programming language design and implementation, denotational semantics and domain theory. This book is written from a systems perspective, emphasizing the practical relevance of many of the key theoretical ideas.
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
further reading list, bibliography, index
ISBN-13
978-0-19-853841-7 (9780198538417)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Introduction. 1: Notation and basic theory. 2: Reduction. 3: Combinatory logic. 4: Semantics. 5: Computability. 6: Types. 7: Practical issues. 8: Other calculi. 9: Further reading. Bibliography. Index
