Journal article Interaction Combinators Information and Computation 1997 Read Paper Interaction Combinators Yves Lafont Information and Computation 1997 AI Algorithms and type systems Computability Computability, Logic, AI Algorithms