ic Interaction Combinators ref Interaction Nets, Combinators, and Calculus Zero Plus One abstract-algorithm Interaction Combinators (Lafont, 1997)