Semantics for interactive high-order functional-logic programming

• 資料種別: 博士論文
• タイトル: Semantics for interactive high-order functional-logic programming
• 著者・編者: 浜名, 誠
• 著者標目: 浜名, 誠
• 出版年月日等: 1998
• 出版年（W3CDTF）: 1998
• 授与機関名: 筑波大学; University of Tsukuba
• 授与年月日: 1998-03-23
• 報告番号: 甲第1911号
• 学位: 博士（工学）
• 本文の言語コード: jpn
• 対象利用者: 一般
• 一般注記: 1997
• オンライン閲覧公開範囲: インターネット公開
• 別の記録形式: URI : 全文はOPACにあり; https://www.tulips.tsukuba.ac.jp/opac/volume/1033872
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 筑波大学 : つくばリポジトリ

• 要約等: 本研究の目的はインタラクションのある高階関数論理型の操作的、代数的、論理的、圏論的意味論を与えることである。それぞれの意味論は以下の目的のために重要であり、しかもそれぞれのそれぞれに対する正当性 ...（提供元: 学術機関リポジトリデータベース（IRDB）（機関リポジトリ））