On type-related problems of lambda-calculi

DOI Web Site

Bibliographic Information

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

Search this article

Journal

  • SUGAKU

    SUGAKU 66 (1), 78-89, 2014

    The Mathematical Society of Japan

Related Projects

See more

Keywords

Details 詳細情報について

Report a problem

Back to top