Ichiro Hasuo, Naohiko Hoshino: Semantics of higher-order quantum computation via geometry of interaction. Ann. Pure Appl. Log. 168(2): 404-469 (2017)