Lambda calculi : a guide for computer scientists
著者
書誌事項
Lambda calculi : a guide for computer scientists
（Graduate texts in computer science, 3）
Clarendon Press , Oxford University Press, 1994
- : pbk
大学図書館所蔵 件 / 全33件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
- 巻冊次
-
: pbk ISBN 9780198538400
内容説明
The -calculus lies at the very foundations of Computer Science. Besides its historical role in compatibility theory it has had significant influence on programming language design and implementation, denotational semantics and domain theory. The book emphasises the proof theory for the type-free -calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability and the relationship between the
-calculus and Combinatoryh Logic. Chapter 7 presents a variety of typed calculi; first the simply typed -calculus, then Milner-style polymorphism and, finally the polymorphic -calculus. Chapter 8 concerns three variants of the type-free -calculus that have recently appeared in the research literature: the lazy
calculus, the concurrent -calculus and the *O-calculus. The final chapter contains references and a guide to further reading. There are exercises throughout. In contrast to earlier books on these topics, which were written by logicians, the book is written from a Computer Science perspective and emphasises the practical relevance of many of the key theoretical ideas. The book is intended as a course text for final year undergraduates or first year graduate students in
Computer Science. Research Students should find it a useful introduction to more specialist literature.
目次
- 1. Introduction
- 2. Notation and basic theory
- 3. Reduction
- 4. Combinatory logic
- 5. Semantics
- 6. Computability
- 7. Types
- 8. Practical issues
- 9. Other calculi
- 10. Further reading
- Bibliography
- Index
- 巻冊次
-
ISBN 9780198538417
内容説明
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.
目次
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
「Nielsen BookData」 より
