Gilles Dowek

Latest

• A New Connective in Natural Deduction, and Its Application to Quantum Computing
• Two linearities for quantum computing in the lambda calculus
• Typing Quantum Superpositions and Measurement