Showing cs.LOShow all
2 papers · 1 filter
cs.LO2009
A History of Until
Andrea Masini, Luca Viganò, Marco Volpe
Until is a notoriously difficult temporal operator as it is both existential and universal at the same time: A until B holds at the current time instant w iff either B holds at w o…
cs.LO2009
Confluence Results for a Quantum Lambda Calculus with Measurements
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…