ENGLISH

Lambda Calculus with Types

By Henk Barendregt , Wil Dekkers , Richard Statman

Book information

Publisher
Cambridge University Press
Year
2013
Language
english
Format
PDF
Filesize
7 MB (7110624 bytes)
Series
Perspectives in Logic
Pages
855\855
Topic
Mathematics Logic
Time added
2019-11-10 11:00:20

Description

Contents......Page 5 Preface......Page 9 Introduction......Page 15 P1......Page 23 1 The Simply Typed Lambda Calculus......Page 27 2 Properties......Page 77 3 Tools......Page 116 4 Definability, unification and matching......Page 214 5 Extensions......Page 265 6 Applications......Page 345 P2......Page 399 7 The Systems......Page 401 8 Properties of Recursive Types......Page 473 9 Properties of Terms with Types......Page 516 10 Models......Page 542 11 Applications......Page 576 P3......Page 599 12 An Example System......Page 601 13 Type Assignment Systems......Page 613 14 Basic Properties of Intersection Type Assignment......Page 641 15 Type and Lambda Structures......Page 662 16 Filter Models......Page 702 17 Advanced Properties and Applications......Page 750 References......Page 813 Index of terms......Page 837 Index of Citations......Page 845 Index of symbols......Page 850

Similar books