Ceek.jp Altmetrics (α ver.)
  • 文献ランキング
    • 合計
    • 1ヶ月間
    • 1週間
    • 1日間
    • 文献カレンダー
  • 新着文献
    • すべて
    • 2 Users
    • 5 Users
    • 10 Users
  • 新着投稿
    • Yahoo!知恵袋
    • レファレンス協同データベース
    • 教えて!goo
    • はてなブックマーク
    • OKWave
    • Twitter
    • Wikipedia
  • ウェブ検索
  • ニュース検索
  1. ホーム
  2. 文献一覧: Tetsuo Ida (著者)
  3. 1件

15 0 0 0 IR ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系 (<特集>関数型プログラミング)

著者
井田 哲雄 Tetsuo Ida 理化学研究所
雑誌
コンピュータソフトウェア = Computer software (ISSN:02896540)
巻号頁・発行日
vol.4, no.4, pp.329-340, 1987-10-15
被引用文献数
1
  • 2020-10-13 05:30:27
  • 4 はてなブックマーク
  • 10 + 17 Twitter
  • 1 + 2 Wikipedia
  • https://ci.nii.ac.jp/naid/110003743465
  • ヘルプ
  • ご意見はこちら
  • TechTech Inc.