TY  - RPRT
TI  - A Dependent Dependency Calculus (Extended Version)
AU  - Pritam Choudhury
AU  - Harley Eades III
AU  - Stephanie Weirich
PY  - 2022
UR  - https://arxiv.org/abs/2201.11040
ID  - 2201.11040
ER  -