Basic Simple Type Theory

ISBN: 9780521054225 出版年：1997 页码：200 J Roger Hindley Cambridge University Press

Introduction 1. The type-free lambda-calculus 2. Assigning types to terms 3. The principal-type algorithm 4. Type assignment with equality 5. A version using typed terms 6. The correspondence with implication 7. The converse principal-type algorithm 8. Counting a type's inhabitants 9. Technical details Answers to starred exercises Bibliography Table of principal types Index.