タイプ理論の起源と発展

HANDLE オープンアクセス

書誌事項

タイトル別名
  • Type Theory : its Origin and Development

この論文をさがす

収録刊行物

  • 哲学論叢

    哲学論叢 38 (別冊), S49-S60, 2011

    京都大学哲学論叢刊行会

関連プロジェクト

もっと見る

詳細情報

  • CRID
    1050845760653774080
  • NII論文ID
    120003551161
  • NII書誌ID
    AN00005497
  • ISSN
    0914143X
  • HANDLE
    2433/151121
  • 本文言語コード
    ja
  • 資料種別
    departmental bulletin paper
  • データソース種別
    • IRDB
    • CiNii Articles
    • KAKEN

問題の指摘

ページトップへ