Search results 5
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc.高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳説。読者の要望を受け,『情報数学...
Paper図書
National Diet LibraryOther Libraries in Japan
- Contents参考文献:p263~268 プログラミング言語の基礎理論 大堀淳 著 大堀淳∥著 参考文献p263〜268 文献:p...
Paper図書
Other Libraries in Japan
- Toc / Article... プログラム検証論 情報代数 プログラミング言語の基礎理論 計算の理論
- Related Material... プログラム検証論 情報代数 プログラミング言語の基礎理論 計算の理論
Reached to the end of result.