TY  - RPRT
TI  - Type safety of rewrite rules in dependent types
AU  - Frédéric Blanqui
PY  - 2020
DO  - 10.4230/lipics.fscd.2020.13
UR  - https://arxiv.org/abs/2010.16111
ID  - 2010.16111
ER  -