ラムダ計算の型問題について

• 藤田 憲悦

  群馬大学理工学研究院

書誌事項

タイトル別名

• On type-related problems of lambda-calculi
• 計算機と数学 ラムダ計算の型問題について : 数学基礎論からプログラミング言語の構造ヘ
• ケイサンキ ト スウガク ラムダ ケイサン ノ カタ モンダイ ニ ツイテ : スウガク キソロン カラ プログラミング ゲンゴ ノ コウゾウ ヘ
• ——数学基礎論からプログラミング言語の構造へ——
• ——From the foundations of mathematics to structures of programming languages——

収録刊行物

• 数学

  数学 66 (1), 78-89, 2014

  一般社団法人 日本数学会

キーワード

• ラムダ計算
• 型検査
• 型推論

詳細情報

• CRID: 1390001205067242880
• NII論文ID: 130006882589
• NII書誌ID: AN00125036
• DOI: 10.11429/sugaku.0661078
• ISSN: 18836127
• ISSN: 0039470X
• NDL書誌ID: 025175674
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I025175674
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles
  • KAKEN