プログラミング言語の基礎理論

• 資料種別: 図書
• ISBN: 978-4-320-12450-9
• タイトル: プログラミング言語の基礎理論
• タイトルよみ: プログラミング ゲンゴ ノ キソ リロン
• 著者・編者: 大堀淳 著
• 版: 新装版
• 著者標目: 大堀, 淳, 1957- オオホリ, アツシ, 1957- ( 00540736 )典拠
• 出版事項: 東京 : 共立出版
• 出版年月日等: 2019.8
• 出版年（W3CDTF）: 2019
• 数量: 272p
• 大きさ: 21cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: プログラミング用言語 プログラミングヨウゲンゴ ( 00569224 )典拠
• NDC10版: 007.64 : 情報学．情報科学
• NDLC: M159
• 対象利用者: 一般
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 4600円
• 所蔵機関: 国立国会図書館
• 請求記号: M159-M161
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 029842615; http://id.ndl.go.jp/bib/029842615
• 全国書誌番号: 23259628
• トーハンMARC番号: 33955959
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 要約等: 高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳説。読者の要望を受け，『情報数学講座９』を装い新たに発行した。（提供元: 出版情報登録センター（JPRO））

目次

第1章　プログラミング言語のモデル

1.1　計算モデルの必要性

1.2　本書で使用する集合に関する記法

1.3　言語の文法構造の定義

1.4　型無しラムダ計算