|
|
@ -137,7 +137,7 @@ |
|
|
handlers.\\[2em] |
|
|
handlers.\\[2em] |
|
|
|
|
|
|
|
|
\[ |
|
|
\[ |
|
|
\Scale[2]{\cek{C \mid E \mid K = \overline{((H,E), \sigma)}}} |
|
|
|
|
|
|
|
|
\Scale[2]{\cek{C \mid E \mid K = \overline{(\sigma, (H,E))}}} |
|
|
\]\\[2em] |
|
|
\]\\[2em] |
|
|
|
|
|
|
|
|
\textbf{Relevant papers} TyDe'16~\cite{HillerstromL16}, |
|
|
\textbf{Relevant papers} TyDe'16~\cite{HillerstromL16}, |
|
|
|
