Full abstraction for the quantum lambda-calculus2020-01-010 PRE AI DOI:10.1145/3371131OriginalOriginal request for helpShareSaveAbstract En