Algebra of datatypes in mono/poly-morphic λ-calculi 単相型/複相型ラムダ計算上のデータ型の代数について

この論文をさがす

著者

    • 佐藤, 周行 サトウ, ヒロユキ

書誌事項

タイトル

Algebra of datatypes in mono/poly-morphic λ-calculi

タイトル別名

単相型/複相型ラムダ計算上のデータ型の代数について

著者名

佐藤, 周行

著者別名

サトウ, ヒロユキ

学位授与大学

東京大学

取得学位

理学博士

学位授与番号

甲第8405号

学位授与年月日

1990-03-29

注記・抄録

博士論文

各種コード

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