|
|
|
@ -19770,9 +19770,9 @@ equations. |
|
|
|
However, the first equation is derivable from the second and third |
|
|
|
equations. I first learned this from Paul{-}Andr{\'{e}} Melli{\`{e}}s |
|
|
|
during Shonan Seminar No.103 \emph{Semantics of Effects, Resources, |
|
|
|
and Applications}. I have been unable to find a proof of this fact |
|
|
|
in the literature, though, \citeauthor{Mellies14} does have published |
|
|
|
paper, which only states the three necessary |
|
|
|
and Applications}. I have been unable to find a proof of this fact in |
|
|
|
the literature, though, \citeauthor{Mellies14} does have a published |
|
|
|
paper, which states only the three necessary |
|
|
|
equations~\cite{Mellies14}. |
|
|
|
% |
|
|
|
Therefore I include a proof of this fact here (thanks to Sam Lindley |
|
|
|
|
