@phdthesis{oai:teapot.lib.ocha.ac.jp:00042591,
 author = {叢, 悠悠},
 month = {Mar},
 note = {学位論文, お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文･平成31年3月22日授与(甲第309号)},
 school = {お茶の水女子大学},
 title = {Abstracting Control with Dependent Types},
 year = {2019}
}