@article{oai:tsukuba.repo.nii.ac.jp:00037073, author = {AzzaA.Taha and Sato, Masahiko and 亀山, 幸義 and KAMEYAMA, Yukiyoshi}, issue = {1}, journal = {情報処理学会論文誌, IPSJ Journal}, month = {Jan}, pages = {38--47}, title = {A Type-Free Context Calculus}, volume = {42}, year = {2001}, yomi = {カメヤマ, ユキヨシ} }