TY - RPRT TI - The Bang Calculus and the Two Girard's Translations AU - Giulio Guerrieri AU - Giulio Manzonetto PY - 2019 DO - 10.4204/eptcs.292.2 UR - https://arxiv.org/abs/1904.06845 ID - 1904.06845 ER -