TY  - RPRT
TI  - Pure Type Systems without Explicit Contexts
AU  - Herman Geuvers
AU  - Robbert Krebbers
AU  - James McKinna
AU  - Freek Wiedijk
PY  - 2010
DO  - 10.4204/eptcs.34.6
UR  - https://arxiv.org/abs/1009.2792
ID  - 1009.2792
ER  -