23 Mar
2010
23 Mar
'10
4:38 a.m.
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