01-mathematical-definitions.tex « soundness-proof « core « chapters - vein.git - VEIN: VErification via Interaction Nets

summary refs log tree commit diff

path: root/chapters/core/soundness-proof/01-mathematical-definitions.tex

blob: 3d8c031c99710b188804fd3ae432a43a14325711 (plain) (blame)

\subsection{Mathematical Definitions}
\label{sec:mathematical-definitions}

% This subsection contains the mathematical definitions used in the proof