researchers with a paper here
collaborating institutions

1 paper

quant-ph2016

Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science

Gianfranco Basti, Antonio Capolupo, Giuseppe Vitiello

In this paper we suggest that in the framework of the Category Theory it is possible to demonstrate the mathematical and logical \textit{dual equivalence} between the category of t…