책 이미지
eBook 미리보기
책 정보
· 제목 : Categories for Types (Paperback)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521457019
· 쪽수 : 356쪽
· 출판일 : 1994-01-27
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521457019
· 쪽수 : 356쪽
· 출판일 : 1994-01-27
목차
1. Order, lattices and domains; 2. Basic category theory; 3. Algebraic type theory; 4. Functional type theory; 5. Polymorphic functional type theory; 6. Higher order polymorphism.
