TY  - RPRT
TI  - Type theory and rewriting
AU  - Frédéric Blanqui
PY  - 2007
UR  - https://arxiv.org/abs/cs/0610068
ID  - cs/0610068
ER  -