On categorical models of the lambda calculus ダムダ計算のカテゴリー論的モデルについて

この論文をさがす

著者

    • 横内, 寛文 ヨコウチ, ヒロフミ

書誌事項

タイトル

On categorical models of the lambda calculus

タイトル別名

ダムダ計算のカテゴリー論的モデルについて

著者名

横内, 寛文

著者別名

ヨコウチ, ヒロフミ

学位授与大学

東京工業大学

取得学位

理学博士

学位授与番号

甲第1777号

学位授与年月日

1986-10-31

注記・抄録

博士論文

各種コード

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