TY - RPRT TI - Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science AU - Gianfranco Basti AU - Antonio Capolupo AU - Giuseppe Vitiello PY - 2016 UR - https://arxiv.org/abs/1701.00527 ID - 1701.00527 ER -