TY  - RPRT
TI  - Models and termination of proof reduction in the $λ$$Π$-calculus modulo theory
AU  - Gilles Dowek
PY  - 2017
UR  - https://arxiv.org/abs/1501.06522
ID  - 1501.06522
ER  -