DiscardingとLeakが導入されたのは、おそらく次が最初： Title: Leaks: quantum, classical, intermediate, and more (25 Jan 2017) John Selby, Bob Coecke Pages: 23p URL: https://arxiv.org/abs/1701.07404 より詳しくはセルビィの学位論文（一部）があ…