TY  - RPRT
TI  - Categories with families and first-order logic with dependent sorts
AU  - Erik Palmgren
PY  - 2019
DO  - 10.1016/j.apal.2019.102715
UR  - https://arxiv.org/abs/1605.01586
ID  - 1605.01586
ER  -