文献

J-GLOBAL ID：202002267462681993   整理番号：20A1034602

二重直交デカルト閉構造に対する相対完全性【JST・京大機械翻訳】

Relative Full Completeness for Bicategorical Cartesian Closed Structure

著者 (2件)： Fiore Marcelo (Department of Computer Science and Technology, University of Cambridge, Cambridge, UK) ,  Saville Philip (School of Informatics, University of Edinburgh, Cambridge, UK)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12077  ページ： 277-298  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： ある種のコメントカテゴリとして定義される接着構成は,タイプ理論,論理,およびプログラミング言語についての推論のための重要なツールである。ここでは,形式の二次元理論,タイプ間の用語,および用語間の書換えを適応するために,構築を拡張した。このようなシステムに対する意味論的枠組みとして二重項を取り上げて,著者らはグルーイング・バイガtegを定義し,グルー・カテゴリ上でのcartesian閉構造の良く知られた構築の二項版を確立した。応用として,自由な有限積の二重項は自由なカルtesianの閉じた二重項に対して完全に完全であることを示した。その結果,単純型ラムダ計算における書換えの高次方程式は,有限積のみを持つフラグメントにおける書換えの代数方程式の保存的拡張であることが分かった。Copyright The Author(s) 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 接着 ,  意味論 ,  プログラミング言語 ,  保全 ,  代数方程式 ,  二次元 ,  二重項 ,  完全性 ,  *直交性 ,  λ計算 ,  型理論 ,  閉包

著者キーワード (7件)： 接着 ,  双at ,  デカルト閉包 ,  相対完全性 ,  書き換え ,  型理論 ,  保守的拡張

分類 (2件)： 計算理論  (JB02000A) ,  数理言語学  (JB05000V)

タイトルに関連する用語 (1件)： 完全性