Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference40 articles.
1. H⁎-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics;Abramsky;Proceedings of Symposia in Applied Mathematics,2012
2. Domain theory;Abramsky,1994
3. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1984
4. Teleportation in general probabilistic theories;Barnum;Proceedings of Symposia in Applied Mathematics,2012
5. Computer-aided security proofs for the working cryptographer;Barthe,2011
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献