Type Theory : its Origin and Development

HANDLE Open Access

Bibliographic Information

Other Title
  • タイプ理論の起源と発展

Search this article

Journal

  • 哲学論叢

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

    京都大学哲学論叢刊行会

Related Projects

See more

Details

  • CRID
    1050845760653774080
  • NII Article ID
    120003551161
  • NII Book ID
    AN00005497
  • ISSN
    0914143X
  • HANDLE
    2433/151121
  • Text Lang
    ja
  • Article Type
    departmental bulletin paper
  • Data Source
    • IRDB
    • CiNii Articles
    • KAKEN

Report a problem

Back to top