A New Connective in Natural Deduction, and Its Application to Quantum Computing.

Alejandro Daz-Caro, Gilles Dowek

Browse the full ICTAC paper archive.