A Quantum Method of Types | ArxivCSExplorer