Skip to main content

Questions tagged [interaction-nets]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
25 views

In Lafont's interaction net, how to prevent undesirable annihilation?

Here is a simple case, given function f and input x, compute y = f(f(x)): this can be ...
tribbloid's user avatar
  • 103
0 votes
1 answer
40 views

What are the ports used for in a practical sense in the Interaction Net paradigm?

I have briefly read through much of the Interaction Combinators paper, and am looking at this blog post for some help, but they both just say basically "each node in the graph must have one ...
Lance's user avatar
  • 2,243
0 votes
1 answer
296 views

Explanation of a simple example of how an interaction net computes?

I have briefly looked through the links at the bottom of this page: Interaction Nets Interaction Combinators Implementation of a low-level language for interaction nets, Shinya Sato Inpla, ...
Lance's user avatar
  • 2,243