Applying quantitative semantics to higher-order quantum computing

Michele Pagani, Peter Selinger, Benoît Valiron. Applying quantitative semantics to higher-order quantum computing. In Suresh Jagannathan, Peter Sewell, editors, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014. pages 647-658, ACM, 2014. [doi]

Authors

Michele Pagani

This author has not been identified. Look up 'Michele Pagani' in Google

Peter Selinger

This author has not been identified. Look up 'Peter Selinger' in Google

Benoît Valiron

This author has not been identified. Look up 'Benoît Valiron' in Google