言及状況

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

[Lisp][LambdaCalculus][CiNii]
[Categorical Combinator]

Twitter (10 users, 12 posts, 22 favorites)

CiNii 論文 -  ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系 (<特集>関数型プログラミング) https://t.co/FPoGtThTze #CiNii これはおもしろそう。
『「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系』 http://t.co/xBp7fKLF7d とか思い出した(読んでない
TL に Lisp と圏論の文字が並んで見えたと思ったらやっぱり、 ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系 http://t.co/xBp7fKLF7d だった
ほれLisp×圏論だぞ / 『CiNii 論文 -  ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系 (<特集>関数型プログラミング)』 http://t.co/YGnULHe7

Wikipedia (1 pages, 1 posts, 1 contributors)

収集済み URL リスト