@inproceedings{angiuli-2017-computational, series={POPL ’17}, title={Computational higher-dimensional type theory}, url={http://dx.doi.org/10.1145/3009837.3009861}, DOI={10.1145/3009837.3009861}, booktitle={Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages}, publisher={ACM}, author={Angiuli, Carlo and Harper, Robert and Wilson, Todd}, year={2017}, month=Jan, pages={680–693}, collection={POPL ’17} }