16 citations · 57 across the 9 of their papers we have counts for
1 paper · 2 filters
Paul-André Melliès, Nicolas Tabareau
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is…