TY  - RPRT
TI  - A System of Dependent Types, with an Implementation and a Philosophy
AU  - M. Randall Holmes
PY  - 2016
UR  - https://arxiv.org/abs/1607.01817
ID  - 1607.01817
ER  -