Bibliographic Information

プログラム意味論

横内寛文著

(情報数学講座, 7)

共立出版, 1994.6

Title Transcription

プログラム イミロン

Available at  / 250 libraries

Note

参考文献: p[253]-257. 索引: 巻末

Description and Table of Contents

Table of Contents

  • 第1章 表示的意味論の考え方
  • 第2章 ラムダ計算の基礎
  • 第3章 領域理論の基礎
  • 第4章 関数型言語の意味論
  • 第5章 カテゴリ理論の基礎
  • 第6章 領域方程式
  • 第7章 ラムダ計算の意味論

by "BOOK database"

Related Books: 1-1 of 1

Details

Page Top