An intuitionistic type theory : its expressive power and computability 直観主義的な型の理論 : その表現力と計算可能性

この論文をさがす

著者

    • 唐, 培雄 トウ, バイユウ

書誌事項

タイトル

An intuitionistic type theory : its expressive power and computability

タイトル別名

直観主義的な型の理論 : その表現力と計算可能性

著者名

唐, 培雄

著者別名

トウ, バイユウ

学位授与大学

東京大学

取得学位

理学博士

学位授与番号

甲第7597号

学位授与年月日

1988-03-29

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000047349
  • NII著者ID(NRID)
    • 8000000047433
  • NDL書誌ID
    • 000000211663
  • データ提供元
    • NDL-OPAC
ページトップへ