Comment by entaloneralie

2 years ago

I've been following the work you've been doing for a while now, and the culmination of all your progress for the past few years toward HVM, has been very inspirational. Keep up the good work, and best of luck with HighOrderCo. If anyone, reading HVM's and Inpla's gentle introductions to Interaction Nets, is looking for an overview of Lafont's papers and Sato's implementation designs, you might enjoy:

https://wiki.xxiivv.com/site/interaction_nets.html

If someone is looking for a graphical playground to experiment with interaction nets, here's Sylvain Lippi's InTwo(gtk):

https://github.com/max22-/intwo

Anyone looking to better understand linear logic in the context of IN ought to have a look at Victor's Absal:

https://github.com/VictorTaelin/abstract-algorithm

Someone below linked to Baker's excellent linear lisp paper(psi-lisp), I'd like to augment this recommendation with Linear Completeness theory of combinators: