量子計算の高階ユニタリ演算のためのゲームセマンティクス

本論文は、ユニタリ演算を表現できる、ゲームセマンティクスに基づく対称モノイド閉圏を提案する。この模型は表現力が高く、基本型上のすべてのユニタリ演算を表現できる。また、基本型と整合的であり、ユニタリ演算によって実現可能である。