4 ms·

What is a good introduction for this topic?

• pizza 2y ago
  I’m still trying to figure it out myself too. I follow Victor Taelin on Twitter as he seems to be the most involved in the largest interaction combinator works going on. I suppose you could also try to explore the earliest literature on interaction nets/calculi though it might require a fair amount of prior academic programming languages theory knowledge.