\section{Interaction Nets}
\label{sec:interaction-nets}

% This section introduces Interaction Nets