Benoît Valiron: Interpreting (a portion of) lineal on a quantum array
So far, the only purely-quantum lambda-calculus that happen to have a quantum interpretation is van Tonder calculus. However, the calculus requires all terms in superposition to be (mostly) equal. In this talk, I will try to do a tad better (regarding superposition), describing a compilation of a subset of lineal as a quantum circuit.