Person. Todd Wilson Papers Computational higher-dimensional type theory angiuli-2017-computationalPOPL · 2017 PDF · DOI · pldb