책 이미지
eBook 미리보기
책 정보
· 제목 : Abstract Computing Machines: A Lambda Calculus Perspective (Hardcover, 2005)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783540211464
· 쪽수 : 384쪽
· 출판일 : 2005-02-18
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783540211464
· 쪽수 : 384쪽
· 출판일 : 2005-02-18
목차
Algorithms and Programs.- An Algorithmic Language.- The ?-Calculus.- The se(m)cd Machine and Others.- Toward Full-Fledged ?-Calculus Machines.- Interpreted Head-Order Graph Reduction.- The B-Machine.- The G-Machine.- The ?-red Machinery.- Pattern Matching.- Another Functional Abstract Machine.- Imperative Abstract Machines.- Real Computing Machines.
