讨论:Λ演算
外观
Λ演算属于维基百科数学主题的基础条目第五级。请勇于更新页面以及改进条目。 本条目页属于下列维基专题范畴: |
|||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
本条目有内容译自英语维基百科页面“lambda calculus”(原作者列于其历史记录页)。 |
Formal和Informal的译文
[编辑]条目Formal和Informal翻译应为正式和非正式,或正规和非正规 empt (留言) 2010年11月2日 (二) 23:40 (UTC)
我觉得比起这个来说,那些其他的高等数学条目更需要解释,这个还算能看懂……Soy taoist(留言) 2013年11月18日 (一) 02:04 (UTC)
此条目formal和Informal小节标题的中文不适合以“正”翻译,有正即有反,请举出反式的 LAMBDA CALCULUS。Sklinbarniwarp(留言) 2017年12月5日 (二) 21:48 (UTC)
外部链接已修改
[编辑]各位维基人:
我刚刚修改了Λ演算中的1个外部链接,请大家仔细检查我的编辑。如果您有疑问,或者需要让机器人忽略某个链接甚至整个页面,请访问这个简单的FAQ获取更多信息。我进行了以下修改:
- 向 http://course.cug.edu.cn/cugFirst/discrete_mathe/resource/resource1-1-2.htm 中加入存档链接 https://web.archive.org/web/20110502154748/http://course.cug.edu.cn/cugFirst/discrete_mathe/resource/resource1-1-2.htm
有关机器人修正错误的详情请参阅FAQ。
祝编安。—InternetArchiveBot (报告软件缺陷) 2017年9月6日 (三) 18:47 (UTC)
外部链接已修改
[编辑]各位维基人:
我刚刚修改了Λ演算中的1个外部链接,请大家仔细检查我的编辑。如果您有疑问,或者需要让机器人忽略某个链接甚至整个页面,请访问这个简单的FAQ获取更多信息。我进行了以下修改:
- 向 http://shellfly.org/blog/2015/01/07/yi-the-y-combinator-slight-return/ 中加入存档链接 https://web.archive.org/web/20170814120649/http://shellfly.org/blog/2015/01/07/yi-the-y-combinator-slight-return/
有关机器人修正错误的详情请参阅FAQ。
祝编安。—InternetArchiveBot (报告软件缺陷) 2018年6月28日 (四) 17:47 (UTC)
外部链接已修改
[编辑]各位维基人:
我刚刚修改了Λ演算中的1个外部链接,请大家仔细检查我的编辑。如果您有疑问,或者需要让机器人忽略某个链接甚至整个页面,请访问这个简单的FAQ获取更多信息。我进行了以下修改:
- 向 http://uq.net.au/~zzdkeena/Lambda/index.htm 中加入存档链接 https://web.archive.org/web/20050305151235/http://uq.net.au/~zzdkeena/Lambda/index.htm
有关机器人修正错误的详情请参阅FAQ。