note

5 years ago · 5560b73cc5
1 changed files with 1 additions and 1 deletions
--- a/thesis.tex
+++ b/thesis.tex
@ -8026,7 +8026,7 @@ meaning. It is derived from \citeauthor{Plotkin76}'s domain of
 resumptions, which in turn is derived from \citeauthor{Milner75}'s
 domain of processes~\cite{Milner75,Plotkin76}.

-\citet{AtkeyJ15}
+\dhil{Briefly mention \citet{AtkeyJ15}}

 \part{Implementation}