48 citations · 321 across the 68 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013★ 2 cited
Complexity Analysis in Presence of Control Operators and Higher-Order Functions (Long Version)
Ugo Dal Lago, Giulio Pellitta
A polarized version of Girard, Scedrov and Scott's Bounded Linear Logic is introduced and its normalization properties studied. Following Laurent, the logic naturally gives rise to…
cs.LO2013★ 3 cited
Wave-Style Token Machines and Quantum Lambda Calculi (Long Version)
Ugo Dal Lago, Margherita Zorzi
Particle-style token machines are a way to interpret proofs and programs, when the latter are defined according to the principles of linear logic. In this paper, we show that token…