TY  - RPRT
TI  - Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
AU  - Jose Espirito Santo
AU  - Ralph Matthes
AU  - Luis Pinto
PY  - 2009
DO  - 10.2168/lmcs-5(2:11)2009
UR  - https://arxiv.org/abs/0903.1822
ID  - 0903.1822
ER  -