D ec 2 01 6 Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science