文献

J-GLOBAL ID：201002279584202120   整理番号：10A1372899

タイプ化代数構造の非タイプ化と周期的線形論理の色づけ証明網

Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic

著者 (1件)： POUS Damien (LIG, CNRS)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6247  ページ： 484-498  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (5件)： タイプ ,  代数 ,  線形論理 ,  色づけ ,  証明