책 이미지
eBook 미리보기
책 정보
· 제목 : Basic Simple Type Theory (Paperback)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521054225
· 쪽수 : 200쪽
· 출판일 : 2008-01-21
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521054225
· 쪽수 : 200쪽
· 출판일 : 2008-01-21
목차
Introduction; 1. The type-free λ-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.
