2 comments

[ 4.1 ms ] story [ 15.9 ms ] thread
What is a good introduction for this topic?
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.