24 citations · 79 across the 15 of their papers we have counts for
1 paper · 1 filter
Ugo Dal Lago, Claudia Faggian, Benoit Valiron +1
We study multitoken interaction machines in the context of a very expressive logical system with exponentials, fixpoints and synchronization. The advantage of such machines is to p…