Hello All I seem to remember the graphical notation 'interaction nets' as having a well defined translation into the lambda calculus (so one wouldn't need to invent or formalize a new notation). As I'm no longer a student and don't have access to the ACM digital library I haven't been able to validate this. Maybe someone can comment?
Interesting the Wikipedia page for interaction nets points to Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/INblobs-0.1.1 Best wishes Stephen _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe