エントリーの編集

エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Why is lambda calculus named after that specific Greek letter? Why not “rho calculus”, for example?
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Why is lambda calculus named after that specific Greek letter? Why not “rho calculus”, for example?
Where does the choice of the Greek letter $\lambda$ in the name of “lambda calculus” come from? W... Where does the choice of the Greek letter $\lambda$ in the name of “lambda calculus” come from? Why isn't it, for example, “rho calculus”?
2017/10/05 リンク