Copy-on-Demand in Interaction Nets
Sep. 11th, 2015 05:56 pmUsing McCarthy's amb agent:

you can represent copy-on-demand in interaction nets:

with the following interaction rules:


you can represent copy-on-demand in interaction nets:

with the following interaction rules:
