Category Theory and Programming : Cartesian Closed Category.

• Hikita Teruo

  明治大学理工学部情報科学科

Bibliographic Information

Other Title

• カテゴリー理論とプログラミング : カルテシアン閉カテゴリー
• カテゴリー リロン ト プログラミング カルテシアン ヘイ カテゴリー

Abstract

Journal

• Computer Software

  Computer Software 8 (1), 1_34-1_40, 1991-01-14

  Japan Society for Software Science and Technology

Details

• CRID: 1390282763061398272
• NII Article ID: 130007505675
• NII Article ID: 110003743607
• NII Book ID: AN10075819
• DOI: 10.11309/jssst.8.1_34
• NDL BIB ID: 3699472
• ISSN: 02896540
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I3699472
• Text Lang: ja
• Data Source:
  • JaLC
  • NDL
  • CiNii Articles
• Abstract License Flag: Disallowed