diff --git a/thesis.tex b/thesis.tex index 5db5783..d9b39d0 100644 --- a/thesis.tex +++ b/thesis.tex @@ -323,7 +323,7 @@ work is clearly reflected in this dissertation. % I also want to thank my other collaborators: Andreas Rossberg, Anil - Madhavapeddy, Leo White, and Stephen Dolan, Jeremy Yallop. + Madhavapeddy, Leo White, Stephen Dolan, and Jeremy Yallop. I have had the pleasure of working in LFCS at the same time as James McKinna. James has always taken a genuine interest in my work and