@mastersthesis{nester2017turing,
  title={Turing categories and realizability},
  author={Nester, Chad},
  year={2017},
  school={University of Calgary}
}