On a semantics for higher order quantum computation - Benoit Valiron

I will briefly present what is higher-order computation and why it is worthwhile to consider it in the case of quantum computation. I will then sketch a language and describe some approaches to find a semantics for it. Finally I will explain what can be learned from this analysis.