TY - RPRT TI - The duality of computation under focus AU - Pierre-Louis Curien AU - Guillaume Munch-Maccagnoni PY - 2010 UR - https://arxiv.org/abs/1006.2283 ID - 1006.2283 ER -