@article{oai:tsukuba.repo.nii.ac.jp:00037071, author = {田中, 麻峰 and 亀山, 幸義 and KAMEYAMA, Yukiyoshi}, issue = {8}, journal = {情報処理学会論文誌, IPSJ Journal}, month = {Aug}, pages = {1996--2011}, title = {限定継続機構とfutureを持つ計算体系の透過的意味論}, volume = {54}, year = {2013}, yomi = {カメヤマ, ユキヨシ} }