文献
J-GLOBAL ID：201902200550284705   整理番号：19S1209754

The Dialectica interpretation of first-order classical affine logic

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (1件)：
Shirahata, Masaru

Shirahata, Masaru について

(Mathematics Laboratory, Keio University, Hiyoshi Campus)

Mathematics Laboratory, Keio University, Hiyoshi Campus について


資料名：
Theory and Applications of Categories

Theory and Applications of Categories について


巻： 17  ページ： 49-79  発行年： 2006年 
JST資料番号： SCOPUS  ISSN： 1201-561X 
発行国： カナダ (CAN)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM