16 citations · 16 across the 1 of their papers we have counts for
1 paper
F. Prost, C. Zerrari
We present a logical separability analysis for a functional quantum computation language. This logic is inspired by previous works on logical analysis of aliasing for imperative fu…