15 citations · 21 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 15 cited
Wave-Style Token Machines and Quantum Lambda Calculi
Ugo Dal Lago, Margherita Zorzi
Particle-style token machines are a way to interpret proofs and programs, when the latter are written following the principles of linear logic. In this paper, we show that token ma…
cs.LO2010★ 6 cited
General Ramified Recurrence is Sound for Polynomial Time
Ugo Dal Lago, Simone Martini, Margherita Zorzi
Leivant's ramified recurrence is one of the earliest examples of an implicit characterization of the polytime functions as a subalgebra of the primitive recursive functions. Leivan…