Nada Amin. Dependent Object Types. PhD thesis, EPFL, Switzerland, 2016. [doi]
@phdthesis{ch-266,
title = {Dependent Object Types},
author = { Nada Amin},
year = {2016},
url = {https://infoscience.epfl.ch/record/223518},
researchr = {https://researchr.org/publication/ch-266},
cites = {0},
citedby = {0},
school = {EPFL, Switzerland},
}