関数型言語の組合せ論的数え上げモデルとトレース

Author(s)

Bibliographic Information

関数型言語の組合せ論的数え上げモデルとトレース

研究代表者 長谷川立

長谷川立, 2007.5

Other Title

平成17年度〜平成18年度科学研究費補助金(基盤研究(C))研究成果報告書

文部科学省科学研究費補助金(基盤研究(C))研究成果報告書

Title Transcription

カンスウガタ ゲンゴ ノ クミアワセロンテキ カゾエアゲ モデル ト トレース

Available at  / 1 libraries

Search this Book/Journal

Note

課題番号: 17540102

研究分担者: 長谷川真人

Details

  • NCID
    BA88701466
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    engjpn
  • Place of Publication
    [東京]
  • Pages/Volumes
    1冊
  • Size
    30cm
Page Top