16 citations · 41 across the 8 of their papers we have counts for
1 paper · 2 filters
Martin Avanzini, Georg Moser, Romain Péchoux +2
We introduce a new kind of expectation transformer for a mixed classical-quantum programming language. Our semantic approach relies on a new notion of a cost structure, which we in…