型付きラムダ計算
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/07 06:18 UTC 版)
参考文献
- Henk Barendregt, Lambda Calculi with Types, Handbook of Logic in Computer Science, Volume II, Oxford University Press.
[前の解説]
「型付きラムダ計算」の続きの解説一覧
型付きラムダ計算と同じ種類の言葉
限界耐力計算に関連する言葉 | 負荷計算(ふかけいさん) 力学計算(りきがくけいさん) 型付きラムダ計算 ラムダ計算 給湯負荷計算(きゅうとうふかけいさん) |
- 型付きラムダ計算のページへのリンク