It's not a thesis, but one of my favorite acknowledgements is from Bob Atkey's paper on quantitative type theory (which assigns quantities of 0, 1, or ω to types):
> This work is dedicated to Orwell the dog. Orwell was a good dog and knew well the difference between zero, one, and many.
> This work is dedicated to Orwell the dog. Orwell was a good dog and knew well the difference between zero, one, and many.
https://bentnib.org/quantitative-type-theory.pdf