Next: References
Up: Additive Interaction Nets as
Previous: An Example
Two interesting extensions to the additive interaction nets system can be considered:
one is name-passing like -calculus [Mil93]: the name of an agent is abstracted
and first order terms are replaced with names.
The other is to replace first order terms with objects in the sense of object-oriented programming
in order to provide a programming environment like [Chi84].
Satoshi Matsuoka
11/14/1999