Semantics of higher-order quantum computation via geometry of interaction
Hasuo, Ichiro, Hoshino, NaohikoLanguage:
english
Journal:
Annals of Pure and Applied Logic
DOI:
10.1016/j.apal.2016.10.010
Date:
October, 2016
File:
PDF, 3.47 MB
english, 2016