Quantum Calculi: from theory to language design
Luogo: PovoZero, via Sommarive, 14 - Povo - Sala Seminari "-1"
- Margherita Zorzi (Università di Verona)
In the last 20 years several approaches to quantum programming have been introduced. In this talk we will focus on functional calculi and in particular on the QRAM architectural model. We explore the twofold perspective (theoretical and concrete) of the approach and we will list the main problems one has to face in quantum language design.
Referente: Davide Pastorello