On General Methods for Proving Reduction Properties of Typed Lambda Terms (Proof theoretical study of the structure of logic and computation)

この論文にアクセスする

この論文をさがす

著者

収録刊行物

  • 数理解析研究所講究録

    数理解析研究所講究録 1635, 33-50, 2009-04

    京都大学

各種コード

  • NII論文ID(NAID)
    110007050195
  • NII書誌ID(NCID)
    AN00061013
  • 本文言語コード
    ENG
  • 資料種別
    特集
  • 雑誌種別
    大学紀要
  • ISSN
    18802818
  • NDL 記事登録ID
    10220344
  • NDL 雑誌分類
    ZM31(科学技術--数学)
  • NDL 請求記号
    Z43-1336
  • データ提供元
    NDL  NII-ELS  IR 
ページトップへ