讨论:Λ演算
 |
Λ演算属于维基百科数学主题的基础条目第五级。请勇于更新页面以及改进条目。 本条目属于下列维基专题范畴： |
||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||||||||||||||||||||||||
 | 本条目有内容译自英语维基百科页面“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。