Interaction nets

Warning : This page is under construction.

Introduction to interaction nets : dvi - ps