Interaction nets

Warning : This page is under construction. 

 Introduction to interaction nets : dvi - ps