論文

査読有り
2006年

The Dialectica interpretation of first-order classical affine logic

Theory and Applications of Categories
  • 白旗 優

17
開始ページ
49-79
終了ページ
記述言語
英語
掲載種別
研究論文(学術雑誌)

エクスポート
BibTeX RIS