Interaction Nets

  • 25 October 2025

Polyactive Agents: Multiple Principal Ports

An explanation of a flaw in standard interaction nets that makes them less than optimal for parallel evaluation, and a variation of them that solves this flaw

Read more 
  • 26 July 2025

Interaction Nets

An explanation of interaction nets and some examples

Read more