说明: The λ-calculus and combinatory logic are two systems of logic which can also serve as abstract programming languages. They both aim to describe some very general properties of programs that can modify other programs, in an abstract setting not clutt <wjjl2010> 在 上传 | 大小:2097152