@mastersthesis{boisseauUnderstandingProfunctorOptics2017,
  title = "Understanding {{Profunctor Optics}}: A Representation Theorem",
  author = "Boisseau, Guillaume",
  year = "2017",
  copyright = "All rights reserved",
  keywords = "clean",
  month = "sep",
  school = "University of Oxford",
}