Trata qubits, portas, circuitos, protocolos, correlações não clássicas e medidas de informação. Teletransporte e distribuição de chaves servem como aplicações verificáveis do formalismo.
