9 citations · 15 across the 12 of their papers we have counts for
1 paper · 1 filter
Ian Mackie, Jorge Sousa Pinto, Miguel Vilaca
We propose a method for encoding iterators (and recursion operators in general) using interaction nets (INs). There are two main applications for this: the method can be used to ob…