48 citations · 118 across the 8 of their papers we have counts for
1 paper · 1 filter
Damiano Mazza
The symmetric interaction combinators are an equally expressive variant of Lafont's interaction combinators. They are a graph-rewriting model of deterministic computation. We defin…