311 citations · 1.2k across the 38 of their papers we have counts for
1 paper · 2 filters
Michele Pagani, Peter Selinger, Benoît Valiron
Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this pro…