TY - RPRT TI - Weyl calculus in QED I. The unitary group AU - L. Amour AU - R. Lascar AU - J. Nourrigat PY - 2016 UR - https://arxiv.org/abs/1510.05293 ID - 1510.05293 ER -