Risultati della ricerca - Muis, Matthijs

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics di Barthe, Gilles, Gao, Minbo, Khan, Jam Kabeer Ali, Muis, Matthijs, Renison, Ivan, Sakabe, Keiya, Walter, Michael, Xu, Yingte, Zhou, Li

Testo