24 citations · 52 across the 9 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 24 cited
Light Logics and Higher-Order Processes
Ugo Dal Lago, Simone Martini, Davide Sangiorgi
We show that the techniques for resource control that have been developed in the so-called "light logics" can be fruitfully applied also to process algebras. In particular, we pres…
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…