<p>The question about possible implementation of closed reduction using token-passing nets is asked on page 17 in <a href="http://haslab.uminho.pt/jba/files/07tnfp.pdf" rel="nofollow">Token-passing Nets for Functional Languages</a> by Jose Bacelar Almeida, Jorge Sousa Pinto, and Miguel Vilaca:</p>

<blockquote>
  <p>It would be interesting to explore the applicability of this idea to encode closed reduction as defined by Fernandez et al.</p>
</blockquote>

<p>Is this question still open?</p>

CC BY-SA 3.0
2015-10-10T11:08:30.923Z
Why don't you as Almeida et al or Fernandez et al, and report back here?
Martin Berger
CC BY-SA 3.0
2015-10-10T11:52:44.013Z
Thanks for the idea. I did try to contact the authors of the article. I will report back here if and when I get any response.
Anton Salikhmetov
CC BY-SA 3.0
2015-10-20T00:02:37.217Z
I just got a reply from Jorge Pinto. He confirmed that this question still remains open. He also noted that approach of token-passing nets may be unsuitable to implement closed reduction, but he is not absolutely sure.
Anton Salikhmetov
<lambda-calculus><interaction-nets>
Is the question about closed reduction using token-passing nets still open?
Anton Salikhmetov
# Is the question about closed reduction using token-passing nets still open?

(Asked by: username_0 on 2015-10-10)

The question about possible implementation of closed reduction using token-passing nets is asked on page 17 in [Token-passing Nets for Functional Languages](http://haslab.uminho.pt/jba/files/07tnfp.pdf) by Jose Bacelar Almeida, Jorge Sousa Pinto, and Miguel Vilaca:

> It would be interesting to explore the applicability of this idea to encode closed reduction as defined by Fernandez et al.

Is this question still open?

**Tags:** lambda-calculus, interaction-nets

> **Comments:**
> **username_1**: Why don't you as Almeida et al or Fernandez et al, and report back here?  
> **username_0**: Thanks for the idea. I did try to contact the authors of the article. I will report back here if and when I get any response.  
> **username_0**: I just got a reply from Jorge Pinto. He confirmed that this question still remains open. He also noted that approach of token-passing nets may be unsuitable to implement closed reduction, but he is not absolutely sure.  

---

## 0 answers

