Author:
da Silva Feitosa Samuel,Vizzotto Juliana Kaizer,Piveta Eduardo Kessler,Du Bois Andre Rauber
Publisher
Springer International Publishing
Reference30 articles.
1. Abramsky, S.: High-level methods for quantum computation and information. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pp. 410–414 (2004)
2. Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (2005)
3. Altenkirch, T., Grattage, J., Vizzotto, J.K., Sabry, A.: An algebra of pure quantum programming. Electron. Notes Theor. Comput. Sci. 170, 23–47 (2007)
4. Lecture Notes in Computer Science;P Arrighi,2008
5. Bellia, M., Occhiuto., M.: Java: proving type safety for Java simple closures. In: CSp 2010, pp. 61–72 (2010)