Abstract Computing Machines
Werner Kluge
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
年:
2006
出版社:
Springer Science & Business Media
语言:
english
页:
384
ISBN 10:
354027359X
ISBN 13:
9783540273592
文件:
PDF, 2.76 MB
IPFS:
,
english, 2006
因版权方投诉，本书无法下载
Beware of he who would deny you access to information, for in his heart he dreams himself your master
转换文件
更多搜索结果
其他特权 
