双カテゴリー型理論:意味論と構文【JST・京大機械翻訳】

Ahrens Benedikt; North Paige Randall; van der Weide Niels

プレプリント

J-GLOBAL ID：202202210305864802 整理番号：22P0279822

双カテゴリー型理論:意味論と構文【JST・京大機械翻訳】

Bicategorical type theory: semantics and syntax

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2022年01月25日プレプリントサーバーでの情報更新日： 2023年10月12日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

双カテゴリ型理論のための意味論と構文論を開発した。カテゴリー型理論の特徴は,コンテキスト,タイプ,用語,および項間の有向性低減である。このタイプ理論は,構造化双カテゴリのクラスで自然に解釈される。理解バイカテゴリの形式において,意味論を開発することによって始めた。理解バイカテゴリの例は豊富である。他のデータから構築された例と同様に,特定の例の両方を研究した。理解双カテゴリの概念から,著者らは,判断形式と構造推論規則である双カテゴリ型理論の構文を抽出する。任意の理解バイカテゴリにおける解釈を与えることにより,ルールの健全性を証明した。本研究の意味的側面を,UniMathライブラリに基づいて,Coq証明支援において完全にチェックした。【JST・京大機械翻訳】

, , , , , , , , , ,
, , 【Automatic Indexing@JST】

自然語処理 , 人工知能

, , ,

前のページに戻る