Novo framework prova-teórico (IULL) que permite a representação de processos quânticos não-causais, como o comutador quântico. Fornece semântica operacional preservando unitariedade com eliminação de cortes e completude para circuitos quânticos.
@informaq-pt.bsky.social