15 citations · 41 across the 17 of their papers we have counts for
1 paper · 1 filter
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…