@inproceedings{atkey-2014-a, series={POPL ’14}, title={A relationally parametric model of dependent type theory}, url={http://dx.doi.org/10.1145/2535838.2535852}, DOI={10.1145/2535838.2535852}, booktitle={Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, publisher={ACM}, author={Atkey, Robert and Ghani, Neil and Johann, Patricia}, year={2014}, month=Jan, pages={503–515}, collection={POPL ’14} }