33 citations · 206 across the 29 of their papers we have counts for
1 paper · 2 filters
Stéphane Gimenez, Georg Moser
In this paper, we analyze the complexity of functional programs written in the interaction-net computation model, an asynchronous, parallel and confluent model that generalizes lin…