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