著者
Futamura Yoshihiko
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録 (ISSN:18802818)
巻号頁・発行日
vol.482, pp.255-295, 1983-03
著者
難波 完爾
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録 (ISSN:18802818)
巻号頁・発行日
vol.588, pp.108-127, 1986-04