共 50 条
- [9] Preparation of Pure Gaussian States via Cascaded Quantum Systems 2014 IEEE CONFERENCE ON CONTROL APPLICATIONS (CCA), 2014, : 1970 - 1975
- [10] A module calculus for pure type systems TYPED LAMBDA CALCULI AND APPLICATIONS, 1997, 1210 : 112 - 128