02-interaction-nets.tex « background « chapters - vein.git - VEIN: VErification via Interaction Nets

summary refs log tree commit diff

path: root/chapters/background/02-interaction-nets.tex

blob: 268e44174872a0b5c17ebbd634fec6007c737e53 (plain) (blame)

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

% This section introduces Interaction Nets