Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes
Questo articolo introduce un linguaggio funzionale quantistico lineare di ordine superiore dotato di un sistema di tipi causalmente disciplinato e di una semantica operativa che cattura fedelmente il pieno potere computazionale degli ordini causali indefiniti, incluso il controllo coerente su canali quantistici e misurazioni generali, garantendo al contempo la validità fisica e supportando estensioni future alla ricorsione.