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

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

著者
疋田 輝雄 Teruo Hikita 明治大学理工学部情報科学科
出版者
日本ソフトウェア科学会
雑誌
コンピュ-タソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.8, no.1, pp.p34-40, 1991-01

言及状況

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

[category]

Twitter (1 users, 2 posts, 0 favorites)

@kagami_hr 型付きラムダ計算全体のなす圏とカルテシアン閉カテゴリー全体のなす圏が同型（http://t.co/fRaypCyUZ1）とかでしたよね。
@kagami_hr 型付きラムダ計算全体のなす圏とカルテシアン閉カテゴリー全体のなす圏が同型（http://t.co/fRaypCyUZ1）とかでしたよね。

Wikipedia (1 pages, 2 posts, 2 contributors)

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

収集済み URL リスト