@techreport{oai:tsukuba.repo.nii.ac.jp:00000065, author = {井田, 哲雄 and Ida, Tetsuo}, month = {}, note = {科学研究費補助金(基盤研究(B)(2))研究成果報告書 平成8-9年度 課題番号:08458059}, title = {高階関数・論理型プログラムの計算モデル}, year = {1998}, yomi = {イダ, テツオ} }