top | item 42756301

(no title)

mika6996 | 1 year ago

What is a good introduction for this topic?

discuss

order

pizza|1 year 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.