fixed point combinator

网络释义

1.	不动点组合子 ...)，计算机才能计算这个函数并得出有意义的结果。证明「λ演算」是「可计算的」需要用到「不动点组合子」(fixed point com… www.zhihu.com

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。