TY  - RPRT
TI  - The lambda-mu-T-calculus
AU  - Herman Geuvers
AU  - Robbert Krebbers
AU  - James McKinna
PY  - 2012
DO  - 10.1016/j.apal.2012.05.005
UR  - https://arxiv.org/abs/1204.0347
ID  - 1204.0347
ER  -