TY  - RPRT
TI  - Conservativity of embeddings in the lambda Pi calculus modulo rewriting (long version)
AU  - Ali Assaf
PY  - 2015
UR  - https://arxiv.org/abs/1504.05038
ID  - 1504.05038
ER  -