@phdthesis{oai:teapot.lib.ocha.ac.jp:00042590,
 author = {叢, 悠悠},
 month = {Mar},
 note = {学位論文, お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文･平成31年3月22日授与(甲第309号)<br/>※本文ウェブ公開（関係URI参照）},
 school = {お茶の水女子大学},
 title = {Abstracting Control with Dependent Types［学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨］},
 year = {2019}
}