文献一覧: 東北大学電気通信研究所 (著者) - Ceek.jp Altmetrics

14 0 0 0 型理論-1- (関数型プログラミングと計算の基礎<特集>)

著者: 竜田真 Makoto Tatsuta 東北大学電気通信研究所
出版者: 日本ソフトウェア科学会
雑誌: コンピュ-タソフトウェア (ISSN:02896540)
巻号頁・発行日: vol.8, no.1, pp.p25-33, 1991-01
被引用文献数: 3

https://ci.nii.ac.jp/naid/110003743606

11 0 0 0 型理論-2-

著者: 竜田真 Makoto Tatsuta 東北大学電気通信研究所
出版者: 日本ソフトウェア科学会
雑誌: コンピュ-タソフトウェア (ISSN:02896540)
巻号頁・発行日: vol.8, no.2, pp.p136-142, 1991-03
被引用文献数: 2

https://ci.nii.ac.jp/naid/110003743618