Tag:interaction-calculus

All the articles with the tag "interaction-calculus".

• Interaction Nets, Combinators, and Calculus

  Posted on:March 26, 2023 |  at 09:20 PM

  |#hvm#interaction-nets#interaction-combinators

  Explanation of interaction nets, combinators, and calculus, which are key components of HVM.