TY  - RPRT
TI  - Dependently Typed Knowledge Graphs
AU  - Zhangsheng Lai
AU  - Aik Beng Ng
AU  - Liang Ze Wong
AU  - Simon See
AU  - Shaowei Lin
PY  - 2020
UR  - https://arxiv.org/abs/2003.03785
ID  - 2003.03785
ER  -