03-soundness-of-interaction-rules.tex « soundness-proof « core « chapters - vein.git - VEIN: VErification via Interaction Nets

summary refs log tree commit diff

path: root/chapters/core/soundness-proof/03-soundness-of-interaction-rules.tex

blob: 9aa84ac6c17ab261380db510c6755e047ad3ad72 (plain) (blame)

\subsection{Soundness of Interaction Rules}
\label{sec:soundness-of-interaction-rules}

% This subsections gives the proof for each interaction rule