登入選單
返回Google圖書搜尋
Abstract Computing Machines
Werner Kluge
其他書名
A Lambda Calculus Perspective
出版Springer Science & Business Media, 2005-02-18
主題Computers / Programming Languages / GeneralComputers / Programming / General
ISBN35402114629783540211464
URLhttp://books.google.com.hk/books?id=34qtJOv2nLQC&hl=&source=gbs_api
EBookSAMPLE
註釋

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.