TY  - RPRT
TI  - Explicit Substitutions for Contextual Type Theory
AU  - Andreas Abel
AU  - Brigitte Pientka
PY  - 2010
DO  - 10.4204/eptcs.34.3
UR  - https://arxiv.org/abs/1009.2789
ID  - 1009.2789
ER  -