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
より詳しくはセルビィの学位論文(一部)がある。
- Title: A process theoretic triptych (September 2017)
- Author: John H. Selby
- Pages: 122p
- URL: http://www.cs.ox.ac.uk/people/bob.coecke/Selby_PhD.pdf
それで、次のヤコブス達の論文が同じ匂いがするのだが、、、
- Title: Causal Inference by String Diagram Surgery (20 Nov 2018)
- Authors: Bart Jacobs, Aleks Kissinger, Fabio Zanasi
- Pages: 15p
- URL: https://arxiv.org/abs/1811.08338
ただし、直接的にセルビィやクックに言及してない。偶然の一致とは考えにくい。これはいったいどういうことだろう?
[追記]
ファビオ・ザナーシとの論文でも廃棄を使って周辺化をしている。
- Title: The Logical Essentials of Bayesian Reasoning
- Authors: Bart Jacobs1 and Fabio Zanasi2
- Pages: 29p
- URL: https://arxiv.org/abs/1804.01193
[/追記]