TY  - RPRT
TI  - Shallow Embedding of Type Theory is Morally Correct
AU  - Ambrus Kaposi
AU  - András Kovács
AU  - Nicolai Kraus
PY  - 2019
UR  - https://arxiv.org/abs/1907.07562
ID  - 1907.07562
ER  -