TY  - RPRT
TI  - Categories with Families: Unityped, Simply Typed, and Dependently Typed
AU  - Simon Castellan
AU  - Pierre Clairambault
AU  - Peter Dybjer
PY  - 2020
UR  - https://arxiv.org/abs/1904.00827
ID  - 1904.00827
ER  -