{"article":{"@attributes":{"key":"journals\/corr\/abs-1204-0347","publtype":"informal","mdate":"2018-08-13"},"author":["Herman Geuvers","Robbert Krebbers","James McKinna"],"title":"The lambda-mu-T-calculus","ee":"http:\/\/arxiv.org\/abs\/1204.0347","year":"2012","journal":"CoRR","volume":"abs\/1204.0347","url":"db\/journals\/corr\/corr1204.html#abs-1204-0347"}}