Definition. Information Flow Types - Rules [005f]
Definition. Information Flow Types - Rules [005f]
We define a typing judgement as
\[ \Gamma \vdash e : \tau \]Expressing that in the context \(\Gamma \) expression \(e\) has a label \(\tau \in \mathcal T\)