A Aralex Aachen research explorer

January 08, 2014 conference-paper

Applying quantitative semantics to higher-order quantum computing

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/2535838.2535879 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 69

Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

17

citations

1 result

References 0