책 이미지
eBook 미리보기
책 정보
· 제목 : Lambda-calculus, Combinators and Functional Programming (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 수학/통계 소프트웨어
· ISBN : 9780521114295
· 쪽수 : 192쪽
· 출판일 : 2009-06-25
· 분류 : 외국도서 > 컴퓨터 > 수학/통계 소프트웨어
· ISBN : 9780521114295
· 쪽수 : 192쪽
· 출판일 : 2009-06-25
목차
Preface; 1. Introduction; 2. Type-free lambda-calculus; 3. Combinators and constant symbols; 4. List manipulation in lambda-calculus; 5. Rule-based semantics of λ-expressions; 6. Outlines of a reduction machine; 7. Towards a parallel graph-reduction; Appendix A: A proof of the Church-Rosser theorem; Appendix B: Introduction to typed λ-calculus; Bibliographical notes; References.
