15 citations · 41 across the 17 of their papers we have counts for
1 paper · 1 filter
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
A strong confluence result for Q*, a quantum lambda-calculus with measurements, is proved. More precisely, confluence is shown to hold both for finite and infinite computations. Th…