Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Wikipedia
  3. デカルト閉圏

デカルト閉圏

文献一覧（最新100件）

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

編集者: Bcxfubot

4 0 0 0 カテゴリ-理論とプログラミング--カルテシアン閉カテゴリ- (関数型プログラミングと計算の基礎<特集>)

編集者: Bcxfubot

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

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

4 0 0 0 カテゴリ-理論とプログラミング--カルテシアン閉カテゴリ- (関数型プログラミングと計算の基礎<特集>)

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