Talk:Λ演算
 |
Λ演算属于维基百科數學主题的基礎條目第五級。请勇于更新页面以及改進條目。 本条目属于下列维基专题范畴： |
||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||||||||||||||||||||||||
 | 本條目有内容譯自英語維基百科页面“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。