From aea67c86b4e386417e7af917e54fd26156153862 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Wed, 12 Apr 2023 14:55:34 +0200 Subject: [PATCH] Fix typo --- thesis.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/thesis.tex b/thesis.tex index 76ae5d5..f861826 100644 --- a/thesis.tex +++ b/thesis.tex @@ -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