Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

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

著者
井田 哲雄 Tetsuo Ida 理化学研究所
雑誌
コンピュータソフトウェア = Computer software (ISSN:02896540)
巻号頁・発行日
vol.4, no.4, pp.329-340, 1987-10-15
被引用文献数
1

言及状況

はてなブックマーク (4 users, 4 posts)

[Lisp][LambdaCalculus][CiNii]

Twitter (10 users, 12 posts, 17 favorites)

CiNii 論文 -  ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系 (<特集>関数型プログラミング) https://t.co/FPoGtThTze #CiNii これはおもしろそう。
1 @a2uky
2 @a2uky @lambdadbmal
『「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系』 http://t.co/xBp7fKLF7d とか思い出した（読んでない
2 @aoeui666 @mandel59
5 @aoeui666 @athos0220 @grafi_tt @re_Ord @tadsan
TL に Lisp と圏論の文字が並んで見えたと思ったらやっぱり、 ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系 http://t.co/xBp7fKLF7d だった
1
2 @rayfill @tetha
ほれLisp×圏論だぞ / 『CiNii 論文 -  ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系 (<特集>関数型プログラミング)』 http://t.co/YGnULHe7
3 @cormojs @y_taka_23 @dico_leque
7 @AntiBayesian @dif_engine @ichimal @ne_sachirou @OKU_K @pogin503 @yhara

Wikipedia (1 pages, 2 posts, 2 contributors)

編集者: Bcxfubot
編集者: I.hidekazu
2020-10-13 05:30:27 の編集で削除されたか、リンク先が変更された可能性があります。

収集済み URL リスト