@phdthesis{oai:nagoya.repo.nii.ac.jp:00020313,
 author = {Sato, Masahiro and 佐藤, 雅大},
 month = {Mar},
 school = {名古屋大学, Nagoya University},
 title = {An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions},
 year = {2015}
}