資料詳細
要約等：
- 高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳説。読者の要望を受け，『情報数学講座９』を装い新たに発行した。（提供元: 出版情報登録センター（JPRO））
書店で探す
目次
第1章 プログラミング言語のモデル
1.1 計算モデルの必要性
1.2 本書で使用する集合に関する記法
1.3 言語の文法構造の定義
1.4 型無しラムダ計算
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
近畿
京都府立図書館
紙- 請求記号：
- 007.64/O69
中国
岡山県立図書館
紙- 請求記号：
- 007.64/ｵｵ19/
- 図書登録番号：
- 0015010390
四国
徳島県立図書館
紙- 請求記号：
- 007.6-ｵｵ
- 図書登録番号：
- 00112082567
高知県立図書館
紙- 請求記号：
- 007.64-ｵｵ
- 図書登録番号：
- 1109546810
九州
福岡県立図書館
紙- 請求記号：
- 007-64-702
- 図書登録番号：
- 1109676512
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-320-12450-9
- タイトル
- タイトルよみ
- プログラミング ゲンゴ ノ キソ リロン
- 著者・編者
- 大堀淳 著
- 版
- 新装版
- 著者標目
- 大堀, 淳, 1957- オオホリ, アツシ, 1957- ( 00540736 )典拠
- 出版事項
- 出版年月日等
- 2019.8
- 出版年（W3CDTF）
- 2019