TY  - RPRT
TI  - Models of Type Theory with Strict Equality
AU  - Paolo Capriotti
PY  - 2017
UR  - https://arxiv.org/abs/1702.04912
ID  - 1702.04912
ER  -