文献

J-GLOBAL ID：201802256901532613   整理番号：18A0936902

教会のタイプ理論への引用と評価の組込み【JST・京大機械翻訳】

Incorporating quotation and evaluation into Church’s type theory

著者 (1件)： Farmer William M. (Master University, 1280 Main Street West, Hamilton, Ontario L8S 4l8, Canada)
資料名： Information and Computation  (Information and Computation)
巻： 260  ページ： 9-50  発行年： 2018年 
JST資料番号： D0449A  ISSN： 0890-5401  CODEN： INFCEC  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： CTT_qeは,Lispプログラミング言語において,引用と評価に類似した割当と評価演算子を含むChurch型理論のバージョンである。引用と評価により,シンタックスと表現の意味論の相互作用についてのCTT_qeの理由と,結果として,構文ベースの数学的アルゴリズムを定式化することが可能である。CTT_qeの構文と意味論,およびCTT_qeのための証明システムを提示する。この証明システムはすべての公式に対して音であり,評価を含まない公式に対して完全であることを示した。CTT_qeにおける引用と評価の有用性を示すいくつかの例を示した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *教会 ,  定式化 ,  *型理論 ,  LISP ,  プログラミング言語 ,  相互作用 ,  音響 ,  構文論 ,  アルゴリズム ,  意味論

著者キーワード (12件)： Church型理論 ,  単純型理論 ,  メタライソニング ,  反射 ,  quotation ,  評価 ,  準引用 ,  構文に関する推論 ,  スキーマ ,  記号計算 ,  意味式 ,  置換

分類 (2件)： 計算理論  (JB02000A) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (6件)： 教会 ,  タイプ ,  理論 ,  引用 ,  評価 ,  組込み