Leonardo Taglialegne

Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains
Towards quantum programs verification: from quipper circuits to QPMC

Published with Wowchemy — the free, open source website builder that empowers creators.