文献

J-GLOBAL ID：202002278679504299   整理番号：20A1034598

論理形式における非理想的交差型【JST・京大機械翻訳】

Non-idempotent Intersection Types in Logical Form

著者 (1件)： Ehrhard Thomas (Universite de Paris, IRIF, CNRS, Paris, France)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12077  ページ： 198-216  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 交差型はラムダ項と機能的プログラムの操作的および表示的性質の解析における不可欠なツールである。それらの間で,非理想的交差タイプは,用語とプログラムの評価に関する正確な定量的情報を提供した。しかし,単純または二次タイプとは異なり,交差タイプは,アプリケーションルール(またはシステムの提示に依存する交差ルール)は,前提の証明が同じ構造を持つ必要があるという条件を含むため,論理システムとみなすことができない。線形論理の指数付け版を導入する以前の研究を用いて,非理想的なタイピングが,公式が交差型の二次元的に索引付けされたファミリーを表すシステムにおいて論理的形式を与えられることを示した。Copyright The Author(s) 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *二次元

著者キーワード (4件)： ラムダ計算 ,  否定的意味論 ,  交差型 ,  線形論理

分類 (5件)： 人工知能  (JE08000Z) ,  計算機システム開発  (JD02010R) ,  論理代数  (JB03000H) ,  自然語処理  (JE06000L) ,  汎用プログラミング言語  (JD03051H)

タイトルに関連する用語 (2件)： 論理形式 ,  交差