Expressibility of functions in D. Scott's LCF language
暂无分享，去创建一个
[1] Rasmus Lerdorf,et al. Introduction to combinatory logic , 1972 .
[2] Vladimir Yu. Sazonov. Sequentially and parallelly computable functionals , 1975, Lambda-Calculus and Computer Science Theory.
[3] Dana S. Scott,et al. Lambda Calculus and Recursion Theory (Preliminary Version) , 1975 .
[4] Yu. L. Ershov. Computable functionals of finite types , 1972 .