publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2020

  1. Dependently Typed Knowledge Graphs
    Lai, Zhangsheng, Ng, Aik Beng, Wong, Liang Ze, See, Simon, and Lin, Shaowei
    2020