@phdthesis{oai:teapot.lib.ocha.ac.jp:00041350,
 author = {廣田, 知子 and HIROTA, Noriko},
 month = {Mar},
 note = {application/pdf, 学位論文, お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文･平成26年3月24日授与(甲第126号)},
 school = {お茶の水女子大学},
 title = {継続渡し形式の型主導部分評価器における正当性の証明},
 year = {2014}
}