@InProceedings{LIENS-1992-Bec-WSA92, author = {Denis B\'echet}, title = {Partial Evaluation of Interaction Nets}, booktitle = {Proceedings of WSA'92 Workshop on Static Analysis, Bordeaux, France, September 1992. Bigre vols 81--82}, editor = {Michel Billaud and Pierre Cast\'eran and Marc-Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, pages = {331--338}, volume = {81--82}, series = {Bigre}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu, Rennes, France}, year = 1992 }