Between Logic and Quantic: a Tract
Jean-Yves Girard · Cambridge University Press eBooks · 2004
We present a quantum interpretation of the perfect part of linear logic, by means of quantum coherent spaces. In particular this yields a novel interpretation of the reduction of the wave packet as the expression of η-conversion, a.k.a, extensionality.