@phdthesis{oai:teapot.lib.ocha.ac.jp:02000263,
 author = {田中, リベカ},
 month = {2021-09-30},
 note = {お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文･令和3年3月23日授与(乙第422号)},
 school = {お茶の水女子大学},
 title = {Natural Language Quantification and Dependent Types},
 year = {}
}